1 unstable release
| 0.0.1 | Jun 5, 2019 |
|---|
#12 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
~34K SLoC