A python code that takes boolean algebra and equations and convert them into DIMACS format
Primary LanguagePythonMIT LicenseMIT