Outils pour l'Analyse Dynamique et la mise au Point
de
Programmes avec Contraintes
Exemples classiques
Carrés magiques
Description du problème :
Carré magique 4x4: Résolution d'un problème à
16 variables : le carré magique 4 par 4 (les sommes des diagonales,
horizontales et verticales sont égales). L'exécution tracée
va jusqu'à l'obtention de la première solution). Stratégie
: first-fail / minimum value first.
Intérêt : très riche en symétries
Trace mescaline :
[Source] - [ms4(49.776 événements)-333ko]
Trace GNU-Prolog :
[Source] - [ms4(48.171 événements)-290ko]