by Maxime Tremblay
#898 in Science
24KB 645 lines
Generates dimacs file from SAT on graphs
~1.7–2.5MB ~47K SLoC