[Caml-list] FaCiLe 1.0

[Caml-list] FaCiLe 1.0

[Nicolas barnier]

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
License.

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

 - New mode for optimization
 - Optimization now embedded in goals to specify easily complex search
   procedures
 - 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:

        ftp://ftp.recherche.enac.fr/pub/facile

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

        http://www.recherche.enac.fr/opti/facile

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

        mailto:facile@recherche.enac.fr.

Enjoy

-- Pascal Brisset & Nicolas Barnier
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr