Le moteur ENGINE en direct
Tout est calculé en direct dans votre navigateur. Rien de préenregistré. Chaque résultat est scellé SHA-256 et re-vérifié par un contrôleur indépendant.
Résolution en direct, scellée par empreintes
Cinq épreuves au clic : les 92 solutions du 8-reines, le 10-reines, le 12-reines, un planning optimisé, puis 2 000 000 de dossiers arbitrés un par un. Chaque étape est recomptée par un contrôleur indépendant et scellée — cliquez une ligne du journal pour le détail.
Vérifiez un dossier précis, vous-même, maintenant
N’importe quel numéro entre 1 et 2 000 000 : le dossier est regénéré et ré-arbitré sous vos yeux, règle par règle, avec empreinte SHA-256.
Sceau final du journal (SHA-256 chaîné, calculé dans votre navigateur)
Rejouez : les temps varient selon la machine, le sceau ne change jamais. Chaque ligne se clique, chaque dossier s’ouvre, le code exécuté se lit ci-dessous.
Lire le code réellement exécuté sur cette page
Solveur et contrôleurs, extraits de la mémoire du navigateur via Function.toString() — le code même qui produit les chiffres ci-dessus.
(chargement…)
Planning d’équipe : résoudre, expliquer, réparer
5 employés, 8 créneaux, règles dures et préférences pondérées. Rendez le problème impossible : ENGINE calcule les réparations classées par coût, en direct.
Benchmark publié (mesures réelles)
Mesures réelles des 05 et 06/09/2026 — médianes de 3 exécutions, bancs livrés avec le moteur.
| Problème | Variables | Contraintes | Résultat | Temps médian |
|---|---|---|---|---|
| n-reines 6 (1re solution) | 6 | 15 | résolu | 1,6 ms |
| n-reines 8 (1re solution) | 8 | 28 | résolu | 4,2 ms |
| n-reines 10 (1re solution) | 10 | 45 | résolu | 6,2 ms |
| Coloration de graphe, 12 sommets / 3 couleurs | 12 | 18 | résolu | 1,1 ms |
| Coloration de graphe, 16 sommets / 3 couleurs | 16 | 24 | résolu | 1,7 ms |
| Affectation 5 employés × 8 postes (optimum global, contraintes souples) | 8 | 15 | optimum | 138 ms |
Passage à l’échelle — backend accéléré intégré (mesures du 06/09/2026)
Backend accéléré intégré, activable par simple option (engine=cpsat). Cohérence natif / accéléré vérifiée par tests croisés : mêmes solutions, mêmes optimums.
| Problème | Moteur natif seul | Avec backend accéléré |
|---|---|---|
| Affectation 20 employés × 60 créneaux (72 règles dures + 60 souples, optimum global) | interrompu à 10 s, sans optimum prouvé | optimum prouvé en 54 ms |
| n-reines 50 (1re solution) | 8,9 s | 3,1 s |
| n-reines 100 (1re solution) | interrompu à 10 s, sans solution | 26,0 s |
| Optimisation linéaire continue : 100 000 variables, 100 000 contraintes | hors périmètre du natif (domaines finis) | optimal en 16,0 s (GLOP) |
117 tests · 100 % réussis · 91 % de couverture · 16 injections rejetées · déterminisme prouvé (v1.1.0, 06/09/2026)
Machine de développement Windows 11 / Python 3.12. La très grande échelle (millions de variables) reste le terrain des références historiques (comparatif ci-dessous).
Comparatif avec les moteurs du marché
Relevé du 06/09/2026, informations publiques des éditeurs.
| ENGINE | Gurobi | IBM CPLEX | OR-Tools | Hexaly | Timefold | |
|---|---|---|---|---|---|---|
| Prix d’entrée public | dès 166 €/mois | Sur devis | dès 355 €/mois | Gratuit | Sur devis | 0 € · puis sur devis |
| Explication du résultat, intégrée | ✓ explain | Outils d’expert | Outils d’expert | ✗ | n.c. | Édition Enterprise |
| Réparation d’un problème impossible | ✓ repair | Technique | Technique | ✗ | n.c. | Édition Enterprise |
| Simulation de scénarios | ✓ simulate | ✗ | ✗ | ✗ | n.c. | Selon offre |
| Démonstration publique scellée | ✓ | ✗ | ✗ | ✗ | ✗ | ✗ |
| Siège | France | États-Unis | États-Unis | États-Unis | France | Belgique |
| Cœur sans dépendance | ✓ Python pur | ✗ | ✗ | Bibliothèque C++ | ✗ | Bibliothèque Java |
| LP/MIP à grande échelle | ✓ mesuré | ✓ référence | ✓ référence | ✓ | ✓ | ✗ |
✓ = intégré au produit · ✗ = absent ou non identifié publiquement · n.c. = non communiqué.
Preuves & vérifications
Empreintes chaînées
Chaque étape est scellée SHA-256 et chaînée. Rejouez : le sceau ne change pas.
Contrôleur indépendant
Un vérificateur distinct re-contrôle chaque solution. Son code est lisible sur cette page.
Tests automatisés
117 tests, 100 % réussis, 91 % de couverture (v1.1.0). La suite est livrée avec chaque licence.
Gamme & conformité
Gamme protégée par le brevet français FR2604698 (RuleCore). Données en France, RGPD, 100 % local. Certifications · Preuves
Passez à ENGINE
Community 0 € · Team 1 990 €/an · Business 4 990 €/an · Enterprise sur devis