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 se termine le 14 mai 2004
Cette page contient une partie des réalisations publiques du projet
The project started Nov. 14th 2000 and will end 14 may 2004
Here are some of 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 (more coming soon...)

D4.2.1 (Tool)

Post mortem trace analysis tool
ILOG, Thomas Baudel
17 Novembre 2003

ILOG Visual CP (in test)

D3.1.1 (Tracer)

Propagation tracer for GNU Prolog
Ludovic Langevine

Codeine
Beta version (V0.5)

Reports

Liste des réalisations publiques (rapports)
List of Public Delivrables (reports)

Chronologie indicative des rapports publiques (pour plus de renseignements contacter Pierre Deransart)
Chronogram of the public deliverables (for more information contact Pierre Deransart )

Déliverables: 28- end monthes

comming soon....

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

D.2.1.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

D.2.1.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)