Module sat::solver::dimacs
[−]
[src]
Invoke an external SAT solver program which uses the DIMACS / MiniSAT file format.
Structs
Dimacs |
A SAT solver which invokes an external program using the DIMACS / MiniSAT file format. |