samgr55/SAT-to-DIMACS
A python code that takes boolean algebra and equations and convert them into DIMACS format
PythonMIT
No issues in this repository yet.
A python code that takes boolean algebra and equations and convert them into DIMACS format
PythonMIT
No issues in this repository yet.