NanoByte SAT Solver 0.3.0
DPLL Boolean Satisfiability Solver for .NET

A Boolean Satisfiability Solver. More...
Public Member Functions  
bool  IsSatisfiable (Formula< T > formula) 
Checks whether this formula is satisfiable.  
Protected Member Functions  
virtual Literal< T >  ChooseLiteral (Formula< T > formula) 
Picks a Literal<T> from the formula to assign a truth value to during backtracking.  
A Boolean Satisfiability Solver.
T  The underlying type used to identify/compare Literals. 
T  :  IEquatable<T> 