Skip to content

deepin-community/facile

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

7 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

  0) Configure the library. The single option of configuration is the
directory you want to put the library files in (facile.cma, facile.cmxa,
facile.a facile.cmi). Default is the subdirectory "facile" of the Ocaml
library directory (returned by "ocamlc -where").

	./configure [--faciledir <target directory>]

  1) First compile the library with a simple

        make

  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

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

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published