/cnfgen

CNF generator in DIMACS format. It produces common families of CNFs.

Primary LanguagePythonGNU General Public License v3.0GPL-3.0

Stargazers