Class Solver<T>

A Boolean Satisfiability Solver.

Inheritance

Object

Solver<T>

Namespace: NanoByte.SatSolver

Assembly: NanoByte.SatSolver.dll

Syntax

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

Type Parameters

Name	Description
T	The underlying type used to identify/compare Literals.

Constructors

Solver()

Declaration

public Solver()

Methods

ChooseLiteral(Formula<T>)

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

Declaration

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

Parameters

Type	Name	Description
Formula<T>	formula

Returns

Type	Description
Literal<T>

IsSatisfiable(Formula<T>)

Checks whether this formula is satisfiable.

Declaration

public bool IsSatisfiable(Formula<T> formula)

Parameters

Type	Name	Description
Formula<T>	formula

Returns

Type	Description
Boolean