OADymPPaC

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

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:

first (optimal) solution (.xml.gz 1,4 M)

PaLM Traces:

to be included

CHIP Traces:

bridge5-chip++5509-firsdtsol.xml (439K, 5164 events)