9.1 Important Issues

• A severe bug in record unification that has been introduced in 1.2.0 is fixed.

• Fixed incorrect variable aliasing detection on Windows (resulted in weaker propagation, therefore in different and larger search trees).

• Many improvements in the Windows port, in particular for subprocesses, finally correctly enabling oztool and ozmake.

• Both domain- and bounds-consistent variants of the alldifferent constraint for finite domains are available.