Skip to content

Fix(search,#18124): App-5 — MiniZinc réel : 4e salle Labo_D, le modèle était UNSAT par construction - #20947

Merged
myia-ai-01 merged 7 commits into
mainfrom
fix/18124-app5-minizinc-real
Oct 19, 2026
Merged

Fix(search,#18124): App-5 — MiniZinc réel : 4e salle Labo_D, le modèle était UNSAT par construction#20947
myia-ai-01 merged 7 commits into
mainfrom
fix/18124-app5-minizinc-real

Commits

  1. Commits on Oct 15, 2026

  2. Commits on Oct 16, 2026

  3. Commits on Oct 17, 2026

  4. Commits on Oct 18, 2026

  5. Commits on Oct 19, 2026