cprover
Loading...
Searching...
No Matches
satcheck_minisat.cpp File Reference
#include "satcheck_minisat.h"
#include <algorithm>
#include <stack>
#include <util/invariant.h>
#include <util/threeval.h>
#include <Solver.h>
#include <Proof.h>
Include dependency graph for satcheck_minisat.cpp:

Go to the source code of this file.

Classes

class  minisat_prooft

Functions

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

Function Documentation

◆ convert()

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

Definition at line 24 of file satcheck_minisat.cpp.