cnftools (pypi): A collection of tools for working with and generating Dimacs CNF files.
Keywords: dimacs|cnf|sat|3-cnf|3-sat|3cnf|3sat