From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA09550 for caml-red; Tue, 6 Feb 2001 17:51:35 +0100 (MET) 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 OAA29177 for ; Tue, 6 Feb 2001 14:57:24 +0100 (MET) 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 f16DvKL09252 for ; Tue, 6 Feb 2001 14:57:24 +0100 (MET) Received: from sepia.recherche.enac.fr (mail@sepia.recherche.enac.fr [10.31.1.82] (may be forged)) by indigo.recherche.enac.fr (8.8.6 (PHNE_14041)/8.6.11) with ESMTP id OAA01980 for ; Tue, 6 Feb 2001 14:57:19 +0100 (MET) Received: from brisset by sepia.recherche.enac.fr with local (Exim 3.20 #1 (Debian)) id 14Q8cQ-0001Ly-00 for ; Tue, 06 Feb 2001 14:57:18 +0100 From: Pascal Brisset To: caml-list@inria.fr Subject: FaCiLe, a Functional Constraint Library in OCaml Mime-Version: 1.0 (generated by tm-edit 7.106) Content-Type: text/plain; charset=US-ASCII Message-Id: Date: Tue, 06 Feb 2001 14:57:18 +0100 Sender: weis@pauillac.inria.fr Dear Camlers, It is our pleasure to announce the first distribution of FaCiLe, a Functional Constraint Library over integer finite domain entirely written in OCaml 3.00. It offers all usual constraints systems facilities to create and manipulate finite domain variables, arithmetic expressions and constraints (possibly non-linear), built-in global constraints and search goals. FaCiLe allows as well to build easily user-defined constraints and goals (including recursive ones) from scratch or by combining simple primitives, making pervasive use of OCaml higher-order functionals to provide a simple and flexible user interface. FaCiLe efficiency compares well with current commercial solvers while productivity is boosted by the host language, yielding substantially more concise, maintainable and safer code. FaCiLe distribution includes sources, examples and a generic Makefile, which presently should work on all platforms where the OCaml compiler can be installed (but has only been tested on Linux/Unix). It is available with documentation by anonymous FTP 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