NanoByte SAT Solver 0.3.0
DPLL Boolean Satisfiability Solver for .NET
NanoByte.SatSolver.Solver< T > Class Template Reference

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.
 

Detailed Description

A Boolean Satisfiability Solver.

Template Parameters
TThe underlying type used to identify/compare Literals.
Type Constraints
T :IEquatable<T> 

The documentation for this class was generated from the following file: