cprover
satcheck.cpp
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module:
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
9
10
#include "
satcheck.h
"
11
12
// Sanity check
13
14
#ifdef SATCHECK_MINISAT1
15
#ifndef HAVE_MINISAT
16
#error "I expected to have MiniSat 1"
17
#endif
18
#endif
19
20
#ifdef SATCHECK_MINISAT2
21
#ifndef HAVE_MINISAT2
22
#error "I expected to have MiniSat 2"
23
#endif
24
#endif
satcheck.h
solvers
sat
satcheck.cpp
Generated by
1.8.14