Improving Constraint Modelling Using Visualization

Abstract : This talk gives an overview of CP-Viz, a constraint solver independent visualization toolkit for understanding search trees, variables and global constraints of modern constraint applications. We show how visualization can play a central role in developing, analyzing and tuning constraint models. Together with the declarative problem modelling framework of CP, and the specialized propagation methods inside global constraints it is a key element for rapid application development with constraints. This is demonstrated on three practical examples. In the rst example we compare di erent search strategies for rectangle packing problems, which require millions of search steps. We show that, even when a detailed search tree visualization is no longer possible, visualization can still extract key information explaining the dirences between the search strategies. In the second example we consider a sports scheduling example (suggested by R. Finkel) and show how missing redundant constraints are found with the help of the visualization tools. The last example given is a constraint optimization problem, minizing the makespan in a scheduling problem with cumulative resources. The problem was introduced by R. Nieuwenhuis, based on a real-life, industrial application. The visualization explains a problem with the chosen search strategy caused by missing propagation in the implementation of the cumulative constraint of ECLiPSe. The idea used was generalized in CP-Viz to allow systematic checking of propagation invariants at each step of the the search process. CP-Viz is a post-mortem visualization tool which collects light-weight execution traces in a generic XML format based on the global constraint catalog [1]. This trace log is then processed by an extensible Java program which produces vector based SVG output for interactive use, but which can also easily be integrated in reports and presentation slides. CP-Viz was initially developed for an ELearning course [2] for ECLiPSe [3], but has since been adapted to SICStus Prolog, Choco and the proposed JSR-331 (Java Constraint API, http://jcp.org/en/ jsr/detail?id=331) reference implementation. CPViz is being developed under an open-source Modzilla licence, more information can be found at http: //4c.ucc.ie/~hsimonis/cpviz.pdf.
Type de document :
Document associé à des manifestations scientifiques
JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France
Liste complète des métadonnées

https://hal.inria.fr/hal-00742232
Contributeur : Alain Monteil <>
Soumis le : mardi 16 octobre 2012 - 11:38:03
Dernière modification le : vendredi 13 octobre 2017 - 17:08:42
Document(s) archivé(s) le : jeudi 17 janvier 2013 - 04:35:11

Fichier

simonis.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00742232, version 1

Collections

Citation

Helmut Simonis. Improving Constraint Modelling Using Visualization. JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. 〈hal-00742232〉

Partager

Métriques

Consultations de la notice

92

Téléchargements de fichiers

35