summaryrefslogtreecommitdiff
path: root/src/prop/minisat/Makefile.am
blob: db646fef454b22ac70f31cecf0c9341cfba78e91 (plain)
1
2
3
4
5
6
7
INCLUDES = -I@srcdir@/mtl -I@srcdir@/core -I@srcdir@/../../include
AM_CXXFLAGS = -Wall -fvisibility=hidden

noinst_LTLIBRARIES = libminisat.la
libminisat_la_SOURCES = \
	core/Solver.C \
	simp/SimpSolver.C
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback