A description of a formal framework modelling constraint hierarchies and solvers for constraint hierarchies.
