5.5 Implementation

In this section, we develop an Oz implementation of the constraint model presented in the preceding section. It consists of several functors and reuses functor Encode developed in Chapter 3.



Denys Duchier
Version 1.2.0 (20010221)