10 releases (4 breaking)
✓ Uses Rust 2018 edition
|new 0.4.1||May 26, 2020|
|0.4.0||May 21, 2020|
|0.3.0||Feb 27, 2020|
|0.2.0||Feb 20, 2020|
|0.0.2||May 21, 2019|
#141 in Data structures
91 downloads per month
Check out the web demo for some quick egraph action.
egg to your
Cargo.toml like this:
[dependencies] egg = "0.4.1"
cargo doc --open to build and open the documentation in a browser.
Before committing/pushing, make sure to run
make, which runs all the tests and lints that CI will.
You will need
graphviz to run the tests.
cargo test will run the tests.
There are a couple interesting tests in the
prop.rsimplements propositional logic and proves some simple theorems.
math.rsimplements real arithmetic, with a little bit of symbolic differentiation.
lambda.rsimplements a small lambda calculus, using
eggas a partial evaluator.