MassimoLauria / cnfgen

CNF generator in DIMACS format. It produces common families of CNFs.
64Updated 9 months ago

Alternatives and similar repositories for cnfgen:

Users that are interested in cnfgen are comparing it to the libraries listed below