OVERVIEW:

FaCiLe is a Functional Constraint Library implemented in Objective Caml.

CONTENTS:

  README        this file
  Makefile      main Makefile
  src/          source files of the library
  examples/     some examples using the library

INSTALLATION:

  All you need is the Objective Caml 3.02 (or greater) compiler and
standard Unix tools (make...) and findlib.

  1) First compile the library with a simple

        make all

     for the binary code version or 

        make opt 
     
     for the native code version

  2) Check the result

        make check

     You should get a solution for the 8 queens problem.

  3) Then install the library with a (usually as root)

        make install

  4) You can uninstall the library with 

        make uninstall

DOCUMENTATION

  The documentation is available as Postscript and PDF format and as a bundle
of HTML files. It also can be found online at the web site:

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

AVAILABILITY:

  The package and the documentation are available at:

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

BUG REPORTS AND USER FEEDBACK:

Send bug reports by E-mail to:

              facile@recherche.enac.fr