cprover
satcheck.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 
10 #ifndef CPROVER_SOLVERS_SAT_SATCHECK_H
11 #define CPROVER_SOLVERS_SAT_SATCHECK_H
12 
13 // this picks the "default" SAT solver
14 
15 // #define SATCHECK_ZCHAFF
16 // #define SATCHECK_MINISAT1
17 #define SATCHECK_MINISAT2
18 // #define SATCHECK_GLUCOSE
19 // #define SATCHECK_BOOLEFORCE
20 // #define SATCHECK_PRECOSAT
21 // #define SATCHECK_PICOSAT
22 // #define SATCHECK_LINGELING
23 
24 #if defined SATCHECK_ZCHAFF
25 
26 #include "satcheck_zchaff.h"
27 
30 
31 #elif defined SATCHECK_BOOLEFORCE
32 
33 #include "satcheck_booleforce.h"
34 
37 
38 #elif defined SATCHECK_MINISAT1
39 
40 #include "satcheck_minisat.h"
41 
44 
45 #elif defined SATCHECK_MINISAT2
46 
47 #include "satcheck_minisat2.h"
48 
51 
52 #elif defined SATCHECK_PRECOSAT
53 
54 #include "satcheck_precosat.h"
55 
58 
59 #elif defined SATCHECK_PICOSAT
60 
61 #include "satcheck_picosat.h"
62 
65 
66 #elif defined SATCHECK_LINGELING
67 
68 #include "satcheck_lingeling.h"
69 
72 
73 #elif defined SATCHECK_GLUCOSE
74 
75 #include "satcheck_glucose.h"
76 
79 
80 #endif
81 
82 #endif // CPROVER_SOLVERS_SAT_SATCHECK_H
satcheck_minisat_simplifiert satcheckt
Definition: satcheck.h:49
satcheck_minisat_no_simplifiert satcheck_no_simplifiert
Definition: satcheck.h:50