Uses of Package
ifs.extension

Packages that use ifs.extension

ifs.dbt	Dynamic backtracking extension of IFS solver
ifs.extension	IFS Extensions (conflict-based statistics, maintenance of arc consistency)
ifs.perturbations	Minimal Perturbation Problem: counting of perturbations
ifs.solver	IFS Solver

Classes in ifs.extension used by ifs.dbt

Extension
Generic extension of IFS solver.

MacPropagation
MAC propagation.

Classes in ifs.extension used by ifs.extension

Assignment
This class describing an assignment of a value to a variable together with a counter (used by CBS).

AssignmentSet
This class describing a set of assignment (used by CBS).

Extension
Generic extension of IFS solver.

Classes in ifs.extension used by ifs.perturbations

ViolatedInitials
Computation of violated initial values (minimal perturbation problem).

Classes in ifs.extension used by ifs.solver

Extension
Generic extension of IFS solver.