TOY 2.3.1 Released

[fernan]

Hello.
This is a mail just for informing that

  TOY version 2.3.1

has been released on 15th, October, 2007
Release notes are attached to the end of this message.
Please, see http://toy.sourceforge.net for details.

  Best regards.

P.S. Apologies for multiple receptions


==============================================================
Fernando Sáenz Pérez
Profesor Titular de Universidad / Associate Professor
Home Page: http://www.fdi.ucm.es/profesor/fernan
Tel: + 34 913947642. Fax: + 34 913947547
Despacho / Office: 435 (4ª planta / 4th floor)
Dept. Ingeniería del Software e Inteligencia Artificial / 
Department of Software Engineering and Artificial Intelligence
Universidad Complutense de Madrid
Facultad de Informática
C/Profesor José García Santesmases, s/n
E - 28040 Madrid. Spain
==============================================================


Release Notes TOY System Version 2.3.1
======================================

 FIXED BUGS


- The Linux version did not work. Now, it has been fixed and tested on Ubuntu 
6.10, Kubuntu 7.04 (Feisty), and Mandriva Linux 2007 Spring.

- Bridge unification did not exactly follow theory. Now, it infers from two 
bridges with the same variable at an end, the binding of the variables at the 
other ends. The following example illustrates this point.

With version 2.3.0:

        Toy(R+FD)> X #== RX, Y #== RY, X == Y
              { Y -> X } 
              { X #== RX,
                X #== RY }
              Elapsed time: 0 ms.
        sol.1, more solutions (y/n/d/a) [y]? 
              no
              Elapsed time: 0 ms.

and with the current version:

        Toy(R+FD)>  X #== RX, Y #== RY, X == Y
              { Y -> X,
                RY -> RX } 
              { X #== RX }
              Elapsed time: 0 ms.
        sol.1, more solutions (y/n/d/a) [y]? 
              no
              Elapsed time: 0 ms.


- It was possible to enable projection when finite domain and/or real 
constraint libraries were unloaded.

- Missing answers involved in reification when projection was enabled. In 
particular, the modified built-ins are: #>, #<,  #>=, #<=, <, > <=, and >=.