Loading...
Searching...
No Matches
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