JaCoP.search

Class TraceGenerator<T extends Var>