Skip to main content

integer_programming_ty

oxilean_std::operations_research::functions

Function integer_programming_ty 

Source 
pub fn integer_programming_ty() -> Expr
Expand description

IntegerProgramming : Nat -> Nat -> List Real -> Prop ILP feasibility / optimality for a mixed-integer program.