Library for representing boolean polynomials of a small number of variables.
Rust
Boo
Library for representing boolean polynomials/functions. For speed and efficiency
reasons, the number of inputs is currently required to be less than 256. This
framework uses ideas and representations from the PolyBoRi framework.