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 >=.
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Fr Okt 19 2007 - 11:44:14 CEST