ersatz

实体-反应系统的分析、转换和综合。基于 Ehrenfeucht 和 Rozenberg 的反应系统理论。

先决条件

原则上，ersatz 应该在任何运行 rustc 和 cargo 的地方构建。其可执行文件应在任何支持 Rust std 库的 平台 上运行。

但请注意，该项目非常处于开发中。目前，开发中使用的主要工具链是 Rust 1.37 的夜间频道。

安装

安装了 Rust，请确保其版本至少为 1.37：使用 cargo version 检查，并在需要时运行 rustup update。然后

$ cargo install ersatz

将自动从 crates.io 下载、构建并安装最新的 ersatz 发布版。

许可证

ersatz 使用 MIT 许可证。请阅读本存储库中的 LICENSE-MIT 文件以获取更多信息。