[−][src]Crate splr
This is a SAT solver in Rust.
Modules
clause | Clause structure |
config | Parameters used for Solver initialization |
eliminator | Pre/In-processor for clause subsumption and variable elimination |
propagator | Assignment management |
restart | Solver restart implementation |
solver | The main structure |
state | Collection of various data and parameters for SAT solving process |
traits | Interfaces between submodules |
types | Plumping layer Basic types |
validator | validates a given assignment for a problem. |
var | Var structure |