✓ Uses Rust 2018 edition
|new 0.1.2||Feb 14, 2020|
|0.1.1||Feb 13, 2020|
|0.0.3||Aug 23, 2019|
|0.0.2||May 21, 2019|
#223 in Data structures
32 downloads per month
Check out the web demo for some quick egraph action.
egg to your
Cargo.toml like this:
[dependencies] egg = "0.1.2"
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.
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.