/logic-form

Primary LanguageRustMIT LicenseMIT

logic-form

Rust library for representing Cube, Clause, CNF and DNF