MIP

🧩 Formulating a game as MIP