1 /*  Boolector: Satisfiability Modulo Theories (SMT) solver.
2  *
3  *  Copyright (C) 2007-2021 by the authors listed in the AUTHORS file.
4  *
5  *  This file is part of Boolector.
6  *  See COPYING for more information on using this software.
7  */
8 
9 #ifndef BTORMINISAT_H_INCLUDED
10 #define BTORMINISAT_H_INCLUDED
11 
12 /*------------------------------------------------------------------------*/
13 #ifdef BTOR_USE_MINISAT
14 /*------------------------------------------------------------------------*/
15 
16 #include "btorsat.h"
17 
18 bool btor_sat_enable_minisat (BtorSATMgr* smgr);
19 
20 /*------------------------------------------------------------------------*/
21 #endif
22 /*------------------------------------------------------------------------*/
23 
24 #endif
25