by Maxime Tremblay
#894 in Science
24KB 645 lines
Generates dimacs file from SAT on graphs
~1.7–2.4MB ~46K SLoC