ILOG Visual CP is an interactive visualization software designed to help analyze and debug constraints-based programs. It is implemented as an extension of the ILOG Discovery visual data analysis software enabling loading and analyzing program traces following the gentra4cp DTD .
This extension is provided both as a service to the constraints programming community, as an advanced tool to help solver designers and programmers make sense of their programs, and as an example extension for ILOG Discovery programmers, to show how domain specific features can be integrated in the visual data analysis framework.
ILOG Visual CP complements development frameworks by providing easy to set up custom visualizations which let you:
ILOG Visual CP and ILOG Discovery have been used with the following constraints-based programming environments: Codeine (based on Gnu-Prolog), PalM (extension of Claire), Choco, CHIP, ILOG Solver and its derivatives, as well as custom constraints based programs in Java and C++.
To install and use ILOG Visual CP:
This web site also proposes some examples and uses for ILOG Visual CP.