TOY 2.3.0 launched
fsaenzperez
This is a mail just for informing that the new release
TOY version 2.3.0
has been launched on 13th, July, 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 Saenz Perez
Associate Professor
Home Page: http://www.fdi.ucm.es/profesor/fernan/
Tel: + 34 913947642. Fax: + 34 913947529
Office: 435 (4th floor)
Department of Software Engineering and Artificial Intelligence
Universidad Complutense de Madrid
Facultad de Informatica
C/Profesor Jose García Santesmases, s/n
E - 28040 Madrid. Spain
==============================================================
Release Notes TOY System Version 2.3.0
======================================
ENHANCEMENTS
- The real and Finite domain libraries can be enabled at the same
time, allowing domain cooperation
- A communication constraint bridge for domain cooperation has beed
added: (#==) :: int -> real -> bool
- Projection for the cooperation among constraint domains is allowed
- New commands:
/proj Enables projection between constraint domains
/noproj Disables projection between constraint domains
/tolerance(E) Sets the tolerance of the bridge constraint to E
- More examples have been added:
examples/. Uncataloged examples
examples/cooperation Examples for the cooperation of constraints
- New chapters in the manual:
Chapter 4. Cooperation of Constraint Domains
Chapter 5. Interfacing T OY with a CLP Finite Domain Solver
- Dynamically determining the maximum upper and minimum
lower bounds for finite domains, independent of SICStus
version and platform
FIXED BUGS
- The built-ins for reals and real constraints mod, div, gcd, round,
trunc, floor and ceiling gave uncorrect results, as:
Toy> X == mod 10 5
{ X -> 0 }
Elapsed time: 0 ms.
sol.1, more solutions (y/n/d/a) [y]?
no
Elapsed time: 0 ms.
Toy> 0 == mod 10 5
no
Elapsed time: 0 ms.
- The constraints domain and belongs cleared some constraints in the
Herbrand domain