Go to the documentation of this file. 10 #ifndef CPROVER_SOLVERS_SAT_SATCHECK_CORE_H 11 #define CPROVER_SOLVERS_SAT_SATCHECK_CORE_H 17 #ifdef SATCHECK_CORE_ZCHAFF 24 #ifdef SATCHECK_CORE_BOOLEFORCE 32 #ifdef SATCHECK_CORE_MINISAT1 39 #error NO SAT CHECKER WITH CORE EXTRACTOR 44 #endif // CPROVER_SOLVERS_SAT_SATCHECK_CORE_H