JaCoP.core

Class IntervalBasedBacktrackableManager