net.sf.cpsolver.ifs.dbt
Classes 
DbtPropagation
DbtValueSelection
DbtVariableSelection