cprover
|
#include "satcheck_minisat2.h"
#include <signal.h>
#include <unistd.h>
#include <limits>
#include <util/invariant.h>
#include <util/make_unique.h>
#include <util/threeval.h>
#include <minisat/core/Solver.h>
#include <minisat/simp/SimpSolver.h>
Go to the source code of this file.
Functions | |
void | convert (const bvt &bv, Minisat::vec< Minisat::Lit > &dest) |
static void | interrupt_solver (int signum) |
Variables | |
static Minisat::Solver * | solver_to_interrupt =nullptr |
Definition at line 29 of file satcheck_minisat2.cpp.
Definition at line 180 of file satcheck_minisat2.cpp.
|
static |
Definition at line 178 of file satcheck_minisat2.cpp.