CNF generator in DIMACS format. It produces common families of CNFs.
Primary LanguagePythonGNU General Public License v3.0GPL-3.0