12#ifndef CPROVER_SOLVERS_FLATTENING_BV_DIMACS_H
13#define CPROVER_SOLVERS_FLATTENING_BV_DIMACS_H
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
message_handlert & message_handler
const std::string filename
bv_dimacst(const namespacet &_ns, propt &_prop, message_handlert &message_handler, const std::string &_filename)
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...