blob: fee8233bd3fa7731c28c6e9401383d73ab247027 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
set(minisat_src_files
core/Dimacs.h
core/Solver.cc
core/Solver.h
core/SolverTypes.h
minisat.cpp
minisat.h
mtl/Alg.h
mtl/Alloc.h
mtl/Heap.h
mtl/IntTypes.h
mtl/Map.h
mtl/Queue.h
mtl/Sort.h
mtl/Vec.h
mtl/XAlloc.h
simp/SimpSolver.cc
simp/SimpSolver.h
utils/Options.h
)
add_library(minisat ${minisat_src_files})
target_include_directories(minisat PRIVATE .)
target_compile_definitions(minisat
PRIVATE
-D__BUILDING_CVC4LIB
-D__STDC_LIMIT_MACROS
-D__STDC_FORMAT_MACROS
)
target_link_libraries(minisat expr)
|