spot
1.2.6
|
Interface with a SAT solver. More...
#include <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.