Namespace NanoByte.SatSolver
DPLL Boolean Satisfiability Solver.
Classes
- Clause<T>
A Boolean Clause. Consists of a set of Literal<T>s of which at least one must be true.
- Formula<T>
A Boolean Formula. Consists of a set of Clause<T>s which all must be true.
- Literal
Factory methods for Literal<T>s.
- Solver<T>
A Boolean Satisfiability Solver.
Structs
- Literal<T>
A Boolean Literal.