@@ -3,2 +3,3 @@
bin_PROGRAMS += \
tools/dimacs-solver \
tools/dimacs-to-lgf \
@@ -10,2 +11,3 @@
tools_dimacs_solver_SOURCES = tools/dimacs-solver.cc
tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc
modified binary file