cfallin / boolean_expression

A Rust library for manipulating and evaluating Boolean expressions and BDDs

cfallin/boolean_expression Issues

Partial evaluation assuming a complex expression is true
Updated 2 years ago2
Consider optimizing variable order to reduce BDD size
Updated 3 years ago3
Panic when persisting an empty BDD
Closed 3 years ago3
From<T> trait breaks dependencies
Closed 4 years ago2
Special case implementation of Expr<bool> that reduces to bool.
Closed 4 years ago4
Make testing dependencies dev-dependencies
Closed 5 years ago