22 #include <spot/misc/common.hh>
23 #include <spot/misc/tmpfile.hh>
46 throw std::runtime_error(
"too many SAT clauses (more than INT_MAX)");
63 int nb_clauses()
const
87 std::ostream& operator()();
89 typedef std::vector<int> solution;
90 typedef std::pair<int, solution> solution_pair;
91 solution_pair get_solution();
94 std::ostream* cnf_stream_;
98 SPOT_API satsolver::solution
99 satsolver_get_solution(
const char* filename);
Temporary file name.
Definition: tmpfile.hh:49
Definition: satsolver.hh:32
Interface with a SAT solver.
Definition: satsolver.hh:80