Skip to main content

optimal_assignment_ty

oxilean_std::combinatorial_optimization::functions

Function optimal_assignment_ty 

Source 
pub fn optimal_assignment_ty() -> Expr
Expand description

OptimalAssignment : CostMatrix → (Nat → Nat) → Prop — assignment minimizing total cost.