JaCoP.search

Class Shaving<T extends IntVar>