1##################################################
2# About this Makefile
3#
4# This Makefile depends on Makefile.opts
5##################################################
6
7MODULE = sat
8
9SRC = $(EXTRA_SAT_CPP) \
10      cnf.cpp \
11      cnf_manager.cpp \
12      cnf_theorem_producer.cpp \
13      dpllt_basic.cpp \
14      sat_api.cpp \
15      dpllt_minisat.cpp \
16      minisat_types.cpp \
17      minisat_derivation.cpp \
18      minisat_solver.cpp
19
20
21HEADERS = $(EXTRA_SAT_HEADERS) \
22          cnf_rules.h \
23          cnf_theorem_producer.h \
24	  sat_proof.h \
25          minisat_global.h \
26          minisat_heap.h \
27          minisat_types.h \
28          minisat_varorder.h \
29          minisat_derivation.h \
30          minisat_solver.h
31
32LIBRARY=libsat.a
33
34EXTRAFLAGS=$(DPLL_BASIC)
35
36include ../../Makefile.local
37