Constraint propagation over ordered domains

A new algorithm is described for propagating constraints over ordered domains. The method is particularly suitable for applications where variables may be restricted to a sequence of contiguous values within a domain. By describing the characteristics of the domains, and adding variables and constraints, it is possible to specify a wide variety of problems in a simple and intuitive way. The algorithm may then be invoked to limit the solution space. It is particularly suitable for interactive use, with the user modifying the ranges of variables and then invoking constraint propagation to establish all consequences