Chapter 17 Advanced Control Features
Note that more powerful versions of these constraints exist in other
solvers such as the interval solver lib(ic).
suspend/3 is itself based on the lower-level primitives make_suspension/3
and insert_suspension/4, which are described below.
- Examples of such libraries are branch_and_bound,
changeset, chr/ech, propia, repair, visualisation.
- more precisely,
variables which have an ic-attribute, see chapter 16.
- This mechanism may be reconsidered in a future release