by Maxime Tremblay
#858 in Science
24KB 645 lines
Generates dimacs file from SAT on graphs
~1.8–2.5MB ~49K SLoC