Expand description
This crate provides an abstraction layer to describe all SAT solvers. It provides a common interface for different implementations of SAT solvers.
c.f. SatSolver, SolverState
Modules§
- multisolver
- This module union multiple solvers as one solver by using these solvers in a round-robin manner.
Structs§
- Clause
- A clause; it’s a list of disjoined literals
- Formula
- A formula; it’s a list of conjoined clauses
- Model
- A model as a vector mapping literals to boolea values
Traits§
- AddConstraints
- This trait captures the ability to add constraints to a SAT solver.
- SatSolver
- This trait captures the interface of a SAT solver.
- Solver
State - This trait provides an abstraction for a solver state.