HxSolutionStatus Enumeration¶

class hexaly.optimizer.HxSolutionStatus¶

Solution status: Optimal, Feasible, Infeasible or Inconsistent.

As other enumerations present in the hexaly.optimizer module, HxSolutionStatus is enumerable and indexable:

print (HxSolutionStatus[0])                 # Shows HxSolutionStatus.INCONSISTENT
print (HxSolutionStatus.INCONSISTENT.value) # Shows 0

# Iterates over the members of HxSolutionStatus
for e in HxSolutionStatus:
    print e

INCONSISTENT¶

Solution and model are inconsistent. The solver was able to prove that the model admits no feasible solution. Note that even a model without any constraint can be inconsistent, because some computations can yield undefined results. For instance, computing SQRT(x) with negative x yields an undefined value, which causes the solution to be invalid if it is used in an objective or a constraint (directly or indirectly).

INFEASIBLE¶

Solution is infeasible (some constraints are violated).

FEASIBLE¶

Solution is feasible but optimality was not proven.

OPTIMAL¶

Solution is optimal (all objective bounds are reached).