Skip to content

Fix(notebook,#23793): Z3-06 tranche 2 -- convergence kernel 3.11.9 -> 3.13.3 - #23799

Merged
myia-ai-01 merged 3 commits into
mainfrom
fix/smt-z3api-06-py313
Oct 31, 2026
Merged

Fix(notebook,#23793): Z3-06 tranche 2 -- convergence kernel 3.11.9 -> 3.13.3#23799
myia-ai-01 merged 3 commits into
mainfrom
fix/smt-z3api-06-py313

Commits

  1. Commits on Oct 31, 2026