Mr. IntegralOptimization from a Model — Cheat sheet
On this page
Core rule
Objective → constraints → one-variable domain → derivative candidates → boundary/global checks → original-variable interpretation.
Watch for
Do not optimize outside the feasible set. An open or unbounded domain requires a separate existence/global argument.