Skip to content

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

Merge branch 'main' into claude/affectionate-mccarthy-6dvuea-sudoku05

b447e19
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar