Skip to main content

ilp_instance_ty

Function ilp_instance_ty 

Source
pub fn ilp_instance_ty() -> Expr
Expand description

ILPInstance : Type — integer linear program: min c·x s.t. Ax ≤ b, x ∈ ℤ^n.