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