INCLUDES = -I@srcdir@/mtl -I@srcdir@/core -I@srcdir@/../../include
AM_CXXFLAGS = -Wall -fvisibility=hidden
AM_CPPFLAGS = -D__BUILDING_CVC4LIB

noinst_LTLIBRARIES = libminisat.la
libminisat_la_SOURCES = \
	core/Solver.C \
	simp/SimpSolver.C