Previous Up Next

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

Previous Up Next