20 #ifndef SPOT_MISC_SATSOLVER_HH
21 #define SPOT_MISC_SATSOLVER_HH
47 throw std::runtime_error(
"too many SAT clauses (more than INT_MAX)");
64 int nb_clauses()
const
88 std::ostream& operator()();
90 typedef std::vector<int> solution;
91 typedef std::pair<int, solution> solution_pair;
92 solution_pair get_solution();
95 std::ostream* cnf_stream_;
99 SPOT_API satsolver::solution
100 satsolver_get_solution(
const char* filename);
103 #endif // SPOT_MISC_SATSOLVER_HH