1 2 3 4 5 6
INCLUDES = -I@srcdir@/mtl -I@srcdir@/core -I@srcdir@/../../include noinst_LIBRARIES = libminisat.a libminisat_a_SOURCES = \ core/Solver.C \ simp/SimpSolver.C