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 >=.
======================================= Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------