bdd

A rust crate for working with large boolean expressions as ASTs, binary decision diagrams, or algebraic normal form.

repo url: 
https://github.com/tangentstorm/bex
year: 
2019
Syndicate content