... 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

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

... component.^9.1

To keep the example simple there is no optimisation.

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

... CPLEX^11.1

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

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

... XPRESS-MP^11.2

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

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

... variable^13.1

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

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