1 unstable release
0.0.1 | Jun 5, 2019 |
---|
#38 in #synthesis
5KB
70 lines
ersatz
Analysis, transformation and synthesis of entity-reaction systems. Based on Ehrenfeucht and Rozenberg's theory of Reaction Systems.
Prerequisites
In principle, ersatz
should build wherever rustc
and cargo
runs.
Its executables should run on any
platform
supporting Rust std
library.
Be aware, though, that the project is very much WIP. Currently, the main toolchain used in development is nightly channel of Rust 1.37.
Installation
Having Rust installed,
ensure its version is at least 1.37: check with cargo version
and
run rustup update
if needed. Then
$ cargo install ersatz
will automatically download, build, and install the latest ersatz
release on crates.io.
License
ersatz
is licensed under the MIT license. Please read the
LICENSE-MIT file in this repository for more
information.
Dependencies
~2MB
~31K SLoC