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