|
spot
2.1
|
Interface with a SAT solver. More...
#include <spot/misc/satsolver.hh>

Public Types | |
| typedef std::vector< int > | solution |
| typedef std::pair< int, solution > | solution_pair |
Public Member Functions | |
| void | start () |
| std::ostream & | operator() () |
| solution_pair | get_solution () |
Interface with a SAT solver.
Call start() to create some temporary file, then send DIMACs text to the stream returned by operator(), and finally call get_solution().
The satsolver called can be configured via the SPOT_SATSOLVER environment variable. It defaults to "satsolver -verb=0 %I >%O" where I and O are replaced by input and output files.
1.8.8