pub fn ilp_instance_ty() -> Expr
ILPInstance : Type — integer linear program: min c·x s.t. Ax ≤ b, x ∈ ℤ^n.
ILPInstance : Type