10 #ifndef CPROVER_SOLVERS_SAT_PBS_DIMACS_CNF_H 11 #define CPROVER_SOLVERS_SAT_PBS_DIMACS_CNF_H 58 return "PBS - Pseudo Boolean/CNF Solver and Optimizer";
65 #endif // CPROVER_SOLVERS_SAT_PBS_DIMACS_CNF_H virtual tvt l_get(literalt a) const
virtual resultt prop_solve()
virtual void write_dimacs_pb(std::ostream &out)
virtual ~pbs_dimacs_cnft()
virtual const std::string solver_text()
std::map< literalt, unsigned > pb_constraintmap