[−][src]Module splr::solver
Crate solver provides the top-level API as a SAT solver.
Structs
| Solver | SAT solver consisting of 5 sub modules. |
Enums
| Certificate | Normal results returned by Solver. |
Traits
| SatSolverIF | API for SAT solver like |
Type Definitions
| SolverResult | The return type of |