An extension of Choco to deal with cpviz library.
choco-cpviz-3.3.1.jar to the classpath, together with jar file from choco-solver-3.3.3.zip. and add the following code, before the resolution:
Alternatively, the current version of the source code works with Choco-4.0.6.
Visualization visu = new Visualization("aName", s, dir + "/out");
visu.createTree();
visu.createViz();
// add component, such as vector, ...
Vector vector = new Vector(Q, "expanded", n, n);
vector.setMinMax(1, n);
visu.addVisualizer(vector);It produces the configuration, tree and visualization files required by cpviz to render the search.
Any suggestion or contribution will be appreciated.