cprover
|
#include "satcheck_minisat.h"
#include <cassert>
#include <stack>
#include <util/threeval.h>
#include <Solver.h>
#include <Proof.h>
Go to the source code of this file.
Classes | |
class | minisat_prooft |
Functions | |
void | convert (const bvt &bv, vec< Lit > &dest) |
void convert | ( | const bvt & | bv, |
vec< Lit > & | dest | ||
) |
Definition at line 23 of file satcheck_minisat.cpp.
Referenced by satcheck_minisat1_baset::lcnf(), and satcheck_minisat1_baset::prop_solve().