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 (22.2mb) 





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 (2.7mb) 
  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: 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.