[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

TOY 2.3.1 Released

From: fernan
Subject: TOY 2.3.1 Released
Date: Mon, 15 Oct 2007 18:29:07 +0200

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

  Best regards.

P.S. Apologies for multiple receptions

Fernando Sáenz Pérez
Profesor Titular de Universidad / Associate Professor
Home Page:
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


- 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]? 
              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]? 
              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 >=.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]