Module sat::solver
[−]
[src]
Interface to SAT solvers.
Reexports
pub use self::dimacs::Dimacs; |
Modules
dimacs |
Invoke an external SAT solver program which uses the DIMACS / MiniSAT file format. |
Traits
Solver |
Trait for SAT solvers. |