-
Notifications
You must be signed in to change notification settings - Fork 0
/
README
56 lines (32 loc) · 1.31 KB
/
README
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
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