aces

因果结构代数 — 理论的一个实现。这是 Ascesis 项目的核心库。

安装

原则上，aces 应该在任何运行 rustc 和 cargo 的地方构建。但请注意，该项目是一个非常初级的工程。开发中主要使用的工具链是 Rust 1.44 的夜间频道。

要将 aces 作为库在 Rust 项目中使用，请将这些行包含在 Cargo.toml 文件中

[dependencies]
aces = "0.0.13"

有关库的公共接口信息，请参阅 API文档。

许可证

aces 在 MIT 许可证下发布。请阅读本仓库中的 LICENSE-MIT 文件以获取更多信息。