NanoByte SAT Solver  0.3.0
DPLL Boolean Satisfiability Solver for .NET
NanoByte.SatSolver Namespace Reference

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...
 

Detailed Description

DPLL Boolean Satisfiability Solver.