NanoByte SAT Solver 0.3.0
DPLL Boolean Satisfiability Solver for .NET
|
DPLL Boolean Satisfiability Solver. More...
Classes | |
class | Clause |
A Boolean Clause. Consists of a set of Literal<T>s of which at least one must be true. More... | |
class | Clauses |
Static factory methods for Clause<T>. More... | |
class | Formula |
A Boolean Formula. Consists of a set of Clause<T>s which all must be true. More... | |
class | Literal |
A Boolean Literal. More... | |
class | Solver |
A Boolean Satisfiability Solver. More... | |
DPLL Boolean Satisfiability Solver.