cnfgen
cnfgen copied to clipboard
CNF generator in DIMACS format. It produces common families of CNFs.
Results
13
cnfgen issues
Sort by
recently updated
recently updated
newest added
Since `cnfgen` has the ability to take graphs as input, I think it would be possible for it to generate CNFs for Hamiltonian Paths and Hamiltonian Cycles. Here is a...
enhancement
During a workshop in Toronto: Theoretical Foundation of SAT Solving 2016, Moshe Vardi suggested to implement some scalable benchmarks from See http://www.cs.rice.edu/~vardi/papers/sat04rj.pdf
enhancement
Should we allow multigraphs as input for Tseitin formulas? Currently we do not, but the only (technical) reason is that we do not know how to label multiedges. I do...
enhancement