Repository navigation

Fix(notebooks): Search-07, Search-10, Sudoku-05 et Sudoku-13 C# sous Linux et macOS (PythonNetLoader, Z3NativeLoader) - #20605

Merged

myia-ai-01 merged 3 commits into

mainfrom

claude/affectionate-mccarthy-6dvuea-sudoku05

Oct 17, 2026

Merged

Fix(notebooks): Search-07, Search-10, Sudoku-05 et Sudoku-13 C# sous Linux et macOS (PythonNetLoader, Z3NativeLoader)#20605
myia-ai-01 merged 3 commits into
mainfrom
claude/affectionate-mccarthy-6dvuea-sudoku05

Commits on Oct 14, 2026
- Fix(notebooks): pont mealpy de Sudoku-05 C# sous Linux et macOS, pont automata de Search-10 sur PythonNetLoader
  claude
  committed
  565b963
- Fix(notebooks): pont pyspiel de Search-07 C# et Sudoku-13 C# (Z3 + pont dd) sous Linux et macOS
  claude
  committed
  38c946c
Commits on Oct 15, 2026
- Merge branch 'main' into claude/affectionate-mccarthy-6dvuea-sudoku05
  jsboige
  authored
  b447e19