choco.cp.solver.constraints.global.tree.filtering.structuralFiltering.tree
Classes
SearchInfeasible
Tree