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