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