ersatz 0.0.1

Entity-Reaction Systems: analysis, transformation, synthesis
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38

ersatz
======
[![Latest version](https://img.shields.io/crates/v/ersatz.svg)](https://crates.io/crates/ersatz)
![Rust](https://img.shields.io/badge/rust-nightly-brightgreen.svg)
![MIT](https://img.shields.io/badge/license-MIT-blue.svg)

Analysis, transformation and synthesis of entity-reaction systems.
Based on Ehrenfeucht and Rozenberg's theory of [Reaction
Systems](https://doi.org/10.1142/9789813148208_0001).

## Prerequisites

In principle, `ersatz` should build wherever `rustc` and `cargo` runs.
Its executables should run on any
[platform](https://forge.rust-lang.org/platform-support.html)
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](https://www.rust-lang.org/downloads.html) installed,
ensure its version is at least 1.37: check with `cargo version` and
run `rustup update` if needed.  Then

```bash
$ cargo install ersatz
```

will automatically download, build, and install the latest `ersatz`
release on [crates.io](https://crates.io/crates/ersatz).

## License

`ersatz` is licensed under the MIT license.  Please read the
[LICENSE-MIT](LICENSE-MIT) file in this repository for more
information.