OADymPPaC


Tools for Dynamic Analysis and Debugging of Constraint Programs

Outils pour l'Analyse Dynamique et la mise au point de
Programmes avec Contraintes


Public Deliverables
Réalisations publiques

Le projet a débuté le 14 novembre 2000 et s'est terminé le 14 mai 2004
Cette page contient les réalisations publiques du projet
The project started Nov. 14th 2000 and ended may 14th 2004
Here are the public deliverables and theire references


Generic Trace Format "GENTRA4CP"

This generic trace enables debugging tools to be
defined almost independently from finite domain solvers, and
conversely, tracers to be built independently from these tools.

Tracers and Tools

Here you find tracers and tools which can be connected one to each other.

(tracer)
Prototype
free distribution

Propagation tracer for
GNU Prolog
Contact: L. Langevine
INRIA

Codeine
Beta version (V0.5)

(tracer and tools)

alpha
contact Cosytec S.A.

CHIP Debugger
Contact: A. Aggoun
(Interactive Trace Analysis,
socket communication)
CHIP++V5.6 and CHIPC++ V5.6


(tracer)
Prototype
free distribution

Propagation tracer for
JPalM and JChoco
Contact: N. Jussien


PaLM/Choco Tracers
(tool)
Prototypes
free distribution

Post mortem trace analysis tool
(URL and socket communication)
Contact: T. Baudel
ILOG



(tool)
Prototype
free distribution

Post mortem trace analysis tool
(file and socket communication)
Contact: P. Deransart
INRIA

PAVOT  
documentation and dowload
(tracer)
Prototype
free distribution

A simple breaker of
symetries for GNU-Prolog
Contact: P. Deransart
INRIA

SBDS
documentation and dowload

(tool)

Prototype
free distribution


CC and VC influence graphs with INFOVIS
Contact: J.-D. Fekete
INRIA



(tool)
Prototype
free distribution

CLPGUI: A Graphical User Interface for Constraint Logic Programming
Contact: F. Fages
CLPGUI
documentation and dowload


Reports

(pour tous renseignements contacter Pierre Deransart)
 (for any information contact Pierre Deransart )


Déliverables: reports 28- end monthes

D1.2.2.3 (RR) Un pilote de traceurs pour la PLC  (in French)
L.Langevine (INRIA), M. Ducassé (INRIA/IRISA/INSA)
.ps.gz
D2.2.2.3 (RT)

Generic Trace Format for Finite Domain Constraint solvers (Version 2.1)


gentra4cp
D3.4.1-1
(Thesis)
Exlications de retrait de valeurs en programmation par contraintes et application au diagnostique déclaratif (in French)
W. Lesaint  (U. Of Orléans, PhD Thesis, 130p)
.pdf
D3.4.1-2
(RR)
Explanation to undeerstand the trace of a finite domain constraint solver
G. Ferrand, W. Lasaint, A. Tessier  (U. Of Orléans)
.ps
D4.3.4
(RR)
Architecture, trace, mise au point et visualisation dans CHIP
A. Aggoun, D. Bocquet, I. Gouachi, M. Inelhaj, R. Martin (COSYTEC), P. Deransart (INRIA)




Déliverables: 16- 27 monthes

D3.1.2.1 (RR) Etude préliminaire sur les symetries, leur elimination par la methode SBDS et les apports possibles de la visualisation
G. Arnaud, P. Deransart (INRIA) et A. Aggoun (Cosytec)
.ps.gz
D2.1.1.2 (RR) 3D Visualization and Control in CLPGUI
François Fages (INRIA)
.ps.gz
D3.1.2.2
(RR)
Environnement de mise au point et de visualisation dans CHIP
A. Aggoun, R. Martin, I. Gouachi, M. Inelhaj, D. Boquet, G. Arnaud, P. Deransart.
.pdf
D3.2.3
  (RR)
Explanation-based repair techniques for constraint programming
N. Jussien et R. Debruyne (EMN)
.pdf
D4.3.4
(RR)
Mise à jour de l'état de l'art sur les techniques de visualisation pour l'analyse visuelle de phénomènes dynamiques
J.-D. Fekete, M. Ghoniem (EMN)
.pdf
D2.2.2.2
(RR)
Generic Trace Schema for Portability of CP(FD) Debugging Tools
L. Langevine, P. Deransart (INRIA), M. Ducassé (INSA)
.ps.gz
published version:
lnai.ps.gz
D3.2.2
(RR)
Explanations and error diagnosis
Gérard Ferrand, Willy Lesaint, Alexandre Tessier (U. d'Orléans)
.ps.gz
.pdf



Déliverables: 1-15 monthes

 D1.1.1
A model of constraint solvers by chaotic iteration adapted to value withdrawal explanations
Gérard Ferrand, Willy Lesaint, Alexandre Tessier
 6 juillet 2001
.ps.gz (90 K)
   D2.2.2.1
Proposition de format concret pour les traces générées par les solveurs de contraintes
Romuald Debruyne,Jean-Daniel Fekete, Narendra Jussien, Mohammad Ghoniem  et al.
21 novembre 2001
.pdf (150 K) 
    D1.2.1
Tracing and Analysing Execution of CLP(FD) Programs: a Trace Model and an Experimental Validation Environment
Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier
                     23 novembre 2001
.ps.gz (28  K)

RR INRIA N 4342 (Déc. 2001)
.ps.gz (301 K) .pdf.gz (855 K)

Extended Abstract in the WLPE'2001 Proceedings http://xxx.lanl.gov/abs/cs.PL/0111042

A new version
A Generic Trace Model for Finite Domain Solvers Ludovic Langevine, Pierre Deransart, Mireille Ducassé
26 juin 2002
UICS'02 (Second International Workshop on User-Interaction in Constraint Satisfaction) Ithaca, 8 septembre 2002
.ps.gz (139  K) (full version)
D1.1.2-part1

D1.1.2-part2 

Search-Trees for CSPs

Un modèle complet pour la propagation et le labeling

Julien Arsouze, Gérard Ferrand, Arnaud Lallouet

Gérard Ferrand, Willy Lesaint, Alexandre Tessier

15 janvier 2002

19 février 2002

.ps  (186 K) .ps.gz (73 K)  .pdf (196K) 

.ps  (189 K)  .pdf (181K) 

D2.1.1.1
Débogage dynamique de programmes avec contraintes sur les domaines finis: état et perspectives
Pierre Deransart, Francois Fages, Narendra Jussien, Ludovis Langevine, Raphaël Martin
14 février 2002
ps.gz (3442 K)
D1.2.2.1
Automated Analysis of CLP(FD) program execution traces
Mireille Ducassé et Ludovic Langevine
7 février 2002
.ps.gz (138 K)


.ps links to a PostScript file
.pdf links to a portable document format file - Acrobat Reader, a free viewer for pdf files is available at http://www.adobe.com
.doc links to a MSWord file
.rtf links to a rich text format file
.tex links to a LaTeX file
.txt links to a ascii text file
.zip links to a ZIP archive
.gz are gziped files


Pierre.Deransart@inria.fr