Yalmip

Only CP constraints in Yalmip:

• alldifferent: mapped to MILP constraints; AllDifferent
• iff: mapped to binary variables, then MILP constraints; Equivalence
• implies: Implication
• interp1, interp2: PiecewiseLinearOpt.jl
• max: mapped to binary variables, then MILP constraints; MaximumAmong
• min: mapped to binary variables, then MILP constraints; MinimumAmong
• nnz: mapped to binary variables, then MILP constraints; Count
• sumk: sum of the k largest values; Sort and affine expressions