The Lurette tool suite distribution

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


Linux/PC
Darwin (mac)
Mingw32 (windows)
Cygwin (windows)
Lurette tool suite (1) [manual]
  1.54-ocaml-3.12.0 (18.1mb) 

  1.54-ocaml-3.11.2 (18.0mb) 



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


Linux/PC
Darwin (mac)
Mingw32 (windows)
Cygwin (windows)
Lurette (2) [manual]
  1.54 (10.4mb) 

  1.54 (10.0mb) 

Lutin/Lucky top-level interpreter (3) [lucky manual] [lutin manual]
  1.54 (8.5mb) 

  1.54 (8.8mb) 

Lutin/Lucky C and Ocaml APIs (4) [doc]
  1.54-ocaml-3.12.0 (5.2mb) 

  1.54-ocaml-3.11.2 (5.6mb) 

Lutin/Lucky C API (5)
  1.54 (1.2mb) 

  1.54 (1.2mb) 

The drawer/solver ocaml API (6) [doc]
  1.54-ocaml-3.12.0 (2.8mb) 

  1.54-ocaml-3.11.2 (2.7mb) 


Therefore, to sum-up: 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.