OADymPPaC

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

Illustrative example: Alldiff-5c

Problem Description :
5 all_diff constraints over 13 variables are posted according to the following image

The problem has 1152 solutions and just 48 solutions after breaking symetries by adding the constraints A2#>A3, B2#>B3,C2#>C4,C4#>C5

Interest :
One constraint only is used and there are several ad-hoc symetries

References :

[1] J.-C. Regin, A filtering Algorithm for Constraints of difference in CSPs. In AAAI'94, Twelth National Conference on Artificial Intelligence, 362-367, 1994

Sources :

Source code GNU-Prolog

Source code GNU-Prolog with naming

Codeine Traces:

a sample of trace ___ a verbose sample with provide
trace all (48) solutions with broken symetries(.xml.gz:19K, 3179 events)____ unziped: (.xml:209K)
trace all (48) solutions with broken symetries(.xml.gz:48K, 3179 events, verbose)___ unziped: (.xml:1,5M)
trace all (1152) solutions (.xml.gz: 221K, 29959 events)_____ unziped:(.xml:3,7M)
trace all (1152) solutions (.xml.gz:649K, 29959 events ; verbose)_____ unziped: (.xml:29M)

In the verbose trace the vardomains are traced at each search-tree nodes (this allows to trace variable domain views along the computations)