Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] FaCiLe 1.0
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2001-06-29 (09:25)
From: Nicolas barnier <barnier@r...>
Subject: [Caml-list] FaCiLe 1.0
Dear Camlers,

It is our pleasure to announce the release 1.0 of FaCiLe, a Functional
Constraint Library over integer finite domain written with OCaml 3.01.
This library is "Open Source" and licensed under the GNU General Public

Beside the overall gain in performance and bug fixes, FaCiLe release 1.0

 - New mode for optimization
 - Optimization now embedded in goals to specify easily complex search
 - Variables can now be named
 - Improved handling of big arithmetic constraints
 - New ad hoc "modulo" constraint

 - The documentation has been updated and improved
 - Examples added

FaCiLe distribution includes sources, examples and a generic Makefile,
as well as the documentation, available at:

There is also a web site where general information can be found:

Comments, questions and bug reports are welcome and should be sent to


-- Pascal Brisset & Nicolas Barnier
Bug reports:  FAQ:
To unsubscribe, mail  Archives: