Enum MaxSatStatus

Namespace

LogicalOptimizer

Assembly

LogicalOptimizer.Sat.dll

public enum MaxSatStatus

Fields

HardClausesUnsatisfiable = 1

The hard clauses alone are unsatisfiable.

Optimal = 0

An optimal assignment was found and proven optimal.

Unknown = 2

The conflict budget ran out; Cost is the best found.