Uses of Class
org.chocosolver.solver.trace.SearchViz