#systems #analysis #transformation #synthesis #entity-reaction

bin+lib ersatz

Entity-Reaction Systems: analysis, transformation, synthesis

1 unstable release

0.0.1 Jun 5, 2019

#32 in #synthesis

MIT license

5KB
70 lines

ersatz

Latest version Rust MIT

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

~690KB
~12K SLoC