# Package net.sf.cpsolver.ifs.dbt

Dynamic backtracking extension of IFS solver

See: Description

- Class Summary
  Class | Description
  --- | ---
  DbtPropagation<V extends Variable<V,T>,T extends Value<V,T>> | Maintenance of arc consistency in dynamic backtracking.
  DbtValueSelection<V extends Variable<V,T>,T extends Value<V,T>> | Selection of a value for dynamic backtracking.
  DbtVariableSelection<V extends Variable<V,T>,T extends Value<V,T>> | Selection of a variable for dynamic backtracking.

## Package net.sf.cpsolver.ifs.dbt Description

Dynamic backtracking extension of IFS solver