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
28
typedef
satcheck_zchafft
satcheckt
;
29
typedef
satcheck_zchafft
satcheck_no_simplifiert
;
30
31
#elif defined SATCHECK_BOOLEFORCE
32
33
#include "
satcheck_booleforce.h
"
34
35
typedef
satcheck_booleforcet
satcheckt
;
36
typedef
satcheck_booleforcet
satcheck_no_simplifiert
;
37
38
#elif defined SATCHECK_MINISAT1
39
40
#include "
satcheck_minisat.h
"
41
42
typedef
satcheck_minisat1t
satcheckt
;
43
typedef
satcheck_minisat1t
satcheck_no_simplifiert
;
44
45
#elif defined SATCHECK_MINISAT2
46
47
#include "
satcheck_minisat2.h
"
48
49
typedef
satcheck_minisat_simplifiert
satcheckt
;
50
typedef
satcheck_minisat_no_simplifiert
satcheck_no_simplifiert
;
51
52
#elif defined SATCHECK_PRECOSAT
53
54
#include "
satcheck_precosat.h
"
55
56
typedef
satcheck_precosatt
satcheckt
;
57
typedef
satcheck_precosatt
satcheck_no_simplifiert
;
58
59
#elif defined SATCHECK_PICOSAT
60
61
#include "
satcheck_picosat.h
"
62
63
typedef
satcheck_picosatt
satcheckt
;
64
typedef
satcheck_picosatt
satcheck_no_simplifiert
;
65
66
#elif defined SATCHECK_LINGELING
67
68
#include "
satcheck_lingeling.h
"
69
70
typedef
satcheck_lingelingt
satcheckt
;
71
typedef
satcheck_lingelingt
satcheck_no_simplifiert
;
72
73
#elif defined SATCHECK_GLUCOSE
74
75
#include "
satcheck_glucose.h
"
76
77
typedef
satcheck_glucose_simplifiert
satcheckt
;
78
typedef
satcheck_glucose_no_simplifiert
satcheck_no_simplifiert
;
79
80
#endif
81
82
#endif // CPROVER_SOLVERS_SAT_SATCHECK_H
satcheck_lingeling.h
satcheck_booleforcet
Definition:
satcheck_booleforce.h:30
satcheck_glucose_simplifiert
Definition:
satcheck_glucose.h:64
satcheck_picosatt
Definition:
satcheck_picosat.h:18
satcheck_zchaff.h
satcheck_glucose.h
satcheck_minisat_simplifiert
Definition:
satcheck_minisat2.h:64
satcheck_precosatt
Definition:
satcheck_precosat.h:20
satcheck_picosat.h
satcheck_minisat.h
satcheck_minisat_no_simplifiert
Definition:
satcheck_minisat2.h:56
satcheck_precosat.h
satcheck_minisat2.h
satcheck_zchafft
Definition:
satcheck_zchaff.h:45
satcheck_booleforce.h
satcheckt
satcheck_minisat_simplifiert satcheckt
Definition:
satcheck.h:49
satcheck_glucose_no_simplifiert
Definition:
satcheck_glucose.h:56
satcheck_lingelingt
Definition:
satcheck_lingeling.h:18
satcheck_minisat1t
Definition:
satcheck_minisat.h:52
satcheck_no_simplifiert
satcheck_minisat_no_simplifiert satcheck_no_simplifiert
Definition:
satcheck.h:50
solvers
sat
satcheck.h
Generated by
1.8.12