The Lurette tool suite distribution

The Lurette tool suite is available under the form of one big package.

	Linux 32 bits/PC	Linux 64 bit/PC	Darwin (mac)	Mingw32 (windows) - experimental	Cygwin (windows) - experimental
Lurette tool suite (1) [manual]	1.55-ocaml-4.01.0 (22.8mb)	1.56-ocaml-4.02.1 (23.3mb)

But it is also available under the form of several independent packages:

	Linux 32 bits/PC	Linux 64 bit/PC	Darwin (mac)	Mingw32 (windows) - experimental	Cygwin (windows) - experimental
Lurette (2) [manual]	1.55 (10.8mb)	1.56 (11.6mb)
Lutin top-level interpreter (3) [lucky manual] [lutin manual]	1.55 (4.0mb)	1.56 (3.8mb)	1.54 (5.5mb)
Lutin C and Ocaml APIs (4) [doc]
Lutin/Lucky C API (5)	1.55 (1.6mb)	1.56 (1.8mb)
The drawer/solver ocaml API (6) [doc]	1.55-ocaml-4.01.0 (3.2mb)	1.56-ocaml-4.02.1 (3.2mb)
lut4ocaml	1.55-ocaml-4.01.0 (6.7mb)	1.56-ocaml-4.02.1 (6.9mb)

Therefore, to sum-up:

(1) = (2)+(3)+(4)+(5)
Each package should be upgradable independently from the others
"-ocaml-3.08.3" stands for version that requires ocaml 3.08.3 (meaningful for the ocaml APIs only)
If you miss an item in that table, e.g., a particular platform together with a particular version of ocaml, please email me (jahier@imag.fr)

Note that you will need (for packages (1), (2), and (4)):

And you might also want to install:

If it is not the first time you download files from here, you migth also want to have a look at the RELEASE-NOTES.