Class Solver<T>

Namespace

NanoByte.SatSolver

Assembly

NanoByte.SatSolver.dll

A Boolean Satisfiability Solver.

public class Solver<T> where T : IEquatable<T>

Type Parameters

T

The underlying type used to identify/compare Literals.

Inheritance

object

Solver<T>

Inherited Members

object.ToString()

object.Equals(object)

object.Equals(object, object)

object.ReferenceEquals(object, object)

object.GetHashCode()

object.GetType()

object.MemberwiseClone()

Methods

ChooseLiteral(Formula<T>)

Picks a Literal<T> from the formula to assign a truth value to during backtracking.

protected virtual Literal<T> ChooseLiteral(Formula<T> formula)

Parameters

formula Formula<T>

Returns

Literal<T>

IsSatisfiable(Formula<T>)

Checks whether this formula is satisfiable.

public bool IsSatisfiable(Formula<T> formula)

Parameters

formula Formula<T>

Returns

bool