A Python package for working with Conjunctive Normal Form (CNFs) and Boolean Satisfiability (SAT)
Primary LanguagePythonGNU General Public License v3.0GPL-3.0