normal-form (pypi): A Python package for working with Conjunctive Normal Form (CNFs) and Boolean Satisfiability
Keywords: cnf|typed|logic|python3|sat-solver|sat|clause