This repository is not active
samgr55/SAT-to-DIMACS
A python code that takes boolean algebra and equations and convert them into DIMACS format
PythonMIT
A python code that takes boolean algebra and equations and convert them into DIMACS format
PythonMIT
This repository is not active