Uses of Interface
org.chocosolver.solver.search.limits.ICounter