Uses of Interface
org.chocosolver.solver.search.loop.monitors.IMonitorContradiction