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.
