cprover
satcheck_minisat2.cpp File Reference
#include "satcheck_minisat2.h"
#include <inttypes.h>
#include <cassert>
#include <stack>
#include <util/invariant.h>
#include <util/threeval.h>
#include <minisat/core/Solver.h>
#include <minisat/simp/SimpSolver.h>
Include dependency graph for satcheck_minisat2.cpp:

Go to the source code of this file.

Functions

void convert (const bvt &bv, Minisat::vec< Minisat::Lit > &dest)
 

Function Documentation

◆ convert()

void convert ( const bvt bv,
Minisat::vec< Minisat::Lit > &  dest 
)