From: Pascal Brisset <brisset@recherche.enac.fr>
To: caml-list@inria.fr
Subject: FaCiLe, a Functional Constraint Library in OCaml
Date: Tue, 06 Feb 2001 14:57:18 +0100 [thread overview]
Message-ID: <E14Q8cQ-0001Ly-00@sepia.recherche.enac.fr> (raw)
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
reply other threads:[~2001-02-06 16:51 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E14Q8cQ-0001Ly-00@sepia.recherche.enac.fr \
--to=brisset@recherche.enac.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox