Module infeasibility 

Structs

Iis

An irreducible infeasible subsystem (IIS).

IisReport

A printable, model-aware listing of an Iis. Created by Iis::report.

Enums

VarBoundKind

Which side of a variable’s bound participates in an infeasibility.

Traits

InfeasibilityDiagnosis

A Solver that can diagnose why a model is infeasible by computing an irreducible infeasible subsystem (Iis).

Functions

is_infeasible

Helper for backends, whether a SolverResult indicates the model is infeasible. Treats the ambiguous InfeasibleOrUnbounded as infeasible.