Repository navigation

enrich(z3,#13410): tranche densite SMT — lectures mesurees 08-Ordonnancement / 09-Einstein / 10-Cryptarithmetic - #16379

Merged

myia-ai-01 merged 5 commits into

mainfrom

feature/13410-density-tranche

Sep 22, 2026

Commits on Sep 16, 2026
- enrich(z3,#13410): tranche densite SMT - lectures mesurees 08/09/10
  
  jsboige
  and
  claude
  committed
  cdab3c3
- revert(z3,#13410): baseline edits — canon des tranches = notebooks only
  
  jsboige
  and
  claude
  committed
  7a41707
Commits on Sep 19, 2026
- Merge remote-tracking branch 'origin/main' into feature/13410-density-tranche
  jsboige
  committed
  80b48c2
- fix(z3,#13410): repositionne 2 cellules Interpretation apres leur code (check_interp_positioning)
  
  jsboige
  and
  claude
  committed
  849afb3
Commits on Sep 21, 2026
- Merge remote-tracking branch 'origin/main' into feature/13410-density-tranche
  jsboige
  committed
  2f3c6e7