# Package org.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 org.cpsolver.ifs.dbt Description

Dynamic backtracking extension of IFS solver

Version:
  IFS 1.4 (Instructor Sectioning)
  Copyright (C) 2024 Tomáš Müller
  muller@unitime.org
  http://muller.unitime.org
  This library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation; either version 3 of the License, or (at your option) any later version.
  This library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details.
  You should have received a copy of the GNU Lesser General Public License along with this library; if not see http://www.gnu.org/licenses/.
Author:
  Tomáš Müller