hopsy.is_polytope_empty

hopsy.is_polytope_empty(A: ndarray, b: ndarray, S: ndarray | None = None, h: ndarray | None = None)

Checks whether the polytope given by Ax < b and optionally Sx=h has a solution x.

The result is only as precise as the LP solver and settings used. We recommend using Gurobi and the NumericFocus option if problems are hard. See hopsy.LP to access LP solver settings.