From 052e052b8e68cf2ae849102db691338951474af3 Mon Sep 17 00:00:00 2001 From: "Claude Haiku 4.5 (1M context)" Date: Mon, 28 Sep 2026 15:44:56 +0200 Subject: [PATCH] =?UTF-8?q?fix(notebooks,#17550):=20Z3-10-Cryptarithmetic-?= =?UTF-8?q?Python=20=E2=80=94=201=20cellule=20markdown=20nettoyee=20du=20d?= =?UTF-8?q?oublage=20de=20newlines?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-Authored-By: Claude Haiku 4.5 (1M context) --- .../SMT/Z3-API/Z3-10-Cryptarithmetic-Python.ipynb | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/MyIA.AI.Notebooks/SymbolicAI/SMT/Z3-API/Z3-10-Cryptarithmetic-Python.ipynb b/MyIA.AI.Notebooks/SymbolicAI/SMT/Z3-API/Z3-10-Cryptarithmetic-Python.ipynb index ee021ee898..f20a6c3d8c 100644 --- a/MyIA.AI.Notebooks/SymbolicAI/SMT/Z3-API/Z3-10-Cryptarithmetic-Python.ipynb +++ b/MyIA.AI.Notebooks/SymbolicAI/SMT/Z3-API/Z3-10-Cryptarithmetic-Python.ipynb @@ -6,13 +6,9 @@ "metadata": {}, "source": [ "← [09 - Enigme d'Einstein](Z3-09-Enigme-Einstein-Python.ipynb) | [README Z3-Python](README.md)\n", - "\n", "# 10. Cryptarithmes (SEND + MORE = MONEY)\n", - "\n", "Un **cryptarithme** est une equation arithmetique ou chaque lettre represente un **chiffre distinct** (0-9), et ou les mots formant l'equation correspondent a des nombres en ecriture positionnelle. Le classique `SEND + MORE = MONEY` admet une unique solution : laquelle ?\n", - "\n", "Ce type de puzzle est un cas canonique de **satisfaction de contraintes sur les entiers** : 8 lettres, chacune dans `{0..9}`, deux a deux distinctes, avec des tetes non nulles (S et M) et une equation lineaire positionnelle. La **propagation de contraintes** du solveur SMT resout instantanement ce que la brute force met plusieurs centaines de millisecondes a enumerer.\n", - "\n", "> Port pyz3 du notebook C# [`13_Cryptarithmetic_SMT.ipynb`](../Z3-Linq2Z3/13_Cryptarithmetic_SMT.ipynb) (Microsoft.Z3 brut). EPIC #1206, Prong B." ] }, @@ -549,4 +545,4 @@ }, "nbformat": 4, "nbformat_minor": 5 -} +} \ No newline at end of file