Class Solver<T>

Namespace

NanoByte.SatSolver

Assembly

NanoByte.SatSolver.dll

A Boolean Satisfiability Solver.

[Obsolete("Use SatProblem instead.")]
public class Solver<T> where T : IEquatable<T>

Type Parameters

T

The underlying type used to identify/compare Literals.

Inheritance

object

Solver<T>

Methods

IsSatisfiable(Formula<T>)

Checks whether formula is satisfiable.

public bool IsSatisfiable(Formula<T> formula)

Parameters

formula Formula<T>

Returns

bool