/*******************************************************************\

Module:

Author: Daniel Kroening, kroening@kroening.com

\*******************************************************************/


#ifndef CPROVER_SOLVERS_SAT_SATCHECK_CORE_H
#define CPROVER_SOLVERS_SAT_SATCHECK_CORE_H

// #define SATCHECK_CORE_ZCHAFF
// #define SATCHECK_CORE_MINISAT1
// #define SATCHECK_CORE_BOOLEFORCE

#ifdef SATCHECK_CORE_ZCHAFF

#include "satcheck_zcore.h"

typedef satcheck_zcoret satcheck_coret;

#else
#ifdef SATCHECK_CORE_BOOLEFORCE

#include "satcheck_booleforce.h"

typedef satcheck_booleforce_coret satcheck_coret;

#else

#ifdef SATCHECK_CORE_MINISAT1

#include "satcheck_minisat.h"

typedef satcheck_minisat1_coret satcheck_coret;

#else
#error NO SAT CHECKER WITH CORE EXTRACTOR
#endif
#endif
#endif

#endif // CPROVER_SOLVERS_SAT_SATCHECK_CORE_H
