Enum SatResult

Namespace

LogicalOptimizer

Assembly

LogicalOptimizer.Sat.dll

public enum SatResult

Fields

Satisfiable = 0

Unknown = 2

The conflict budget was exhausted before a verdict.

Unsatisfiable = 1