#port #semantic #sat #format #fork #aces #fcs

nightly aces

Algebra of Cause-Effect Structures

13 releases

0.0.13 Apr 15, 2020
0.0.12 Jan 25, 2020
0.0.9 Nov 26, 2019
0.0.7 Sep 23, 2019
0.0.1 May 31, 2019
Download history 15/week @ 2023-10-20 32/week @ 2023-10-27 11/week @ 2023-11-03 11/week @ 2023-11-10 13/week @ 2023-11-17 25/week @ 2023-11-24 57/week @ 2023-12-01 6/week @ 2023-12-08 21/week @ 2023-12-15 35/week @ 2023-12-22 16/week @ 2023-12-29 8/week @ 2024-01-05 13/week @ 2024-01-12 30/week @ 2024-01-19 76/week @ 2024-01-26 7/week @ 2024-02-02

126 downloads per month
Used in 2 crates (via ascesis)

MIT license

205KB
5K SLoC

aces

Latest version docs Rust MIT

Algebra of Cause-Effect Structures — an implementation of the theory. This is the core library of the Ascesis project.

Installation

In principle, aces should build wherever rustc and cargo runs. Be aware, though, that the project is very much a WIP. The main toolchain used in development is nightly channel of Rust 1.44.

To use aces as a library in a Rust project, include these lines in the Cargo.toml file:

[dependencies]
aces = "0.0.13"

See API documentation for information on public interface to the library.

License

aces is licensed under the MIT license. Please read the LICENSE-MIT file in this repository for more information.

Dependencies

~6–17MB
~196K SLoC