Massimo Lauria
Results
1
repositories owned by
Massimo Lauria
cnfgen
57
Stars
15
Forks
Watchers
CNF generator in DIMACS format. It produces common families of CNFs.
Massimo Lauria
CNF generator in DIMACS format. It produces common families of CNFs.