... this^1.1

Note that the global flag coroutine has a similar effect: it causes the arithmetic comparisons as well as many other built-in predicates to delay until they are sufficiently instantiated

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... library^1.2

There is also an older implementation, the fd library, whose use is deprecated

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...gervet^1.3

There is also an older implementation, the conjunto library, which is generally less efficient, but implements sets of symbolic elements as well as integer sets

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... intervals^1.4

The ic library replaces the old ria interval solver, and covers most of the functionality of the finite domain solver fd

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... component.^7.1

To keep the example simple there is no optimisation.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... XPRESS-MP^9.1

XPRESS-MP is a product from Dash Associates Ltd. (www.dashoptimization.com)

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... changed.^9.2

However, some monotonic changes are allowed in the low-level interface, for implementing column generation, see section 9.4.5.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... XPRESS-MP^9.3

XPRESS-MP is a product from Dash Associates Ltd. (www.dashoptimization.com)

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... CPLEX^9.4

CPLEX is a registered trademark of ILOG S.A. (www.ilog.com)

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... variable^10.1

If you wish to write your own solver and have it cooperate with repair you have to define a test_unify handler

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.