choco.cp.solver.constraints.global.automata.fast_multicostregular.example
Classes 
CoverVarValSelector
RuleModel
SoftExample