1 EXTRA_DIST += \
2 tools/CMakeLists.txt
3
1 if WANT_TOOLS
4 if WANT_TOOLS
2
5
3 bin_PROGRAMS += \
6 bin_PROGRAMS += \
4 tools/dimacs-solver \
7 tools/dimacs-solver \
5 tools/dimacs-to-lgf \
8 tools/dimacs-to-lgf \