logic-form

Rust library for representing Cube, Clause, CNF and DNF