Show / Hide Table of Contents

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
In This Article
Back to top Copyright Bastian Eicher