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
Building and installing
----------------------


================================================================================
DIRECTORY OVERVIEW:

cmp		CMP code
mtl/            Mini Template Library
utils/          Generic helper code (I/O, Parsing, CPU-time, etc)
core/           A core version of the solver
simp/           An extended solver with simplification capabilities
README
LICENSE

================================================================================

Compile and Build:
-----------------

make			----build a statically linked release version	
make p		  	----build a statically linked profiling version
make install		----build a static release version then install


================================================================================
EXAMPLES:

> cmp -extractCoMss <cnf-file>