From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id LAA31407; Fri, 29 Jun 2001 11:25:28 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA31683 for ; Fri, 29 Jun 2001 11:25:27 +0200 (MET DST) Received: from indigo.recherche.enac.fr (indigo.recherche.enac.fr [195.220.158.66]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f5T9PQj03779 for ; Fri, 29 Jun 2001 11:25:26 +0200 (MET DST) Received: from beige.recherche.enac.fr (mail@beige.recherche.enac.fr [10.31.1.89] (may be forged)) by indigo.recherche.enac.fr (8.8.6 (PHNE_14041)/8.6.11) with ESMTP id LAA14683 for ; Fri, 29 Jun 2001 11:25:24 +0200 (METDST) Received: from localhost ([127.0.0.1] helo=recherche.enac.fr ident=barnier) by beige.recherche.enac.fr with esmtp (Exim 3.12 #1 (Debian)) id 15FuWi-0008RX-00 for ; Fri, 29 Jun 2001 11:25:24 +0200 Message-ID: <3B3C4984.5EA74B1D@recherche.enac.fr> Date: Fri, 29 Jun 2001 11:25:24 +0200 From: Nicolas barnier X-Mailer: Mozilla 4.75 [en] (X11; U; Linux 2.2.5 i686) X-Accept-Language: en MIME-Version: 1.0 To: ocaml Subject: [Caml-list] FaCiLe 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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