logic-form (cargo): Rust library for representing Cube, Clause, CNF and DNF
Keywords: cube|dnf|cnf|logic|clause