20 #ifndef SPOT_MISC_SATSOLVER_HH
21 #define SPOT_MISC_SATSOLVER_HH
45 throw std::runtime_error(
"too many SAT clauses (more than INT_MAX)");
62 int nb_clauses()
const
85 typedef std::vector<int> sat_solution;
93 #endif // SPOT_MISC_SATSOLVER_HH
Definition: satsolver.hh:31
Definition: formater.hh:30
SPOT_API sat_solution satsolver_get_solution(const char *filename)
Extract the solution of a SAT solver output.
SPOT_API int satsolver(printable *input, printable *output)
Run a SAT solver.