Tools for Dynamic Analysis and Debugging of Constraint Programs
Outils pour l'Analyse Dynamique et la mise au Point de
Programmes avec Contraintes

Classical Examples: bridge flamme!

Problem Description :

Scheduling problem: find a scheduling that minimizes the time to build a 5-segment bridge.

Interest : first optimal solution quickly reached and large optimality proof follows and can be clearly displayed

Sources : bridge5-gnu.pl    bridge5-chipCV5.c  

Codeine Traces:

PaLM Traces:

CHIP Traces: