Add incremental solver class
[satlib.git] / glucose-syrup / README
1 Directory overview:
2 ==================
3
4 mtl/            Minisat Template Library
5 core/           A core version of the solver glucose (no main here)
6 simp/           An extended solver with simplification capabilities
7 parallel/       A multicore version of glucose
8 README
9 LICENSE
10 Changelog
11
12 To build (release version: without assertions, statically linked, etc):
13 ======================================================================
14 Like minisat....
15
16 cd { simp | parallel }
17 make rs
18
19 Usage:
20 ======
21
22 in simp directory:      ./glucose --help
23
24 in parallel directory:  ./glucose-syrup --help