lutin

AuthorsErwan Jahier, Pascal Raymond, Bertrand Jeannnet (polka) and Yvan Roux
LicenseCeCILL
Homepagehttp://www-verimag.imag.fr/Lutin.html
Issue Trackerhttp://www-verimag.imag.fr/Lutin.html
Tagsclib:stdc and clib:camlidl
Maintainererwan.jahier@univ-grenoble-alpes.fr
Dependencies
&base-unix
camlidl
camlp4
conf-gmp
conf-perl
lustre-v6
lutils>= 1.9
mlgmpidl
num
ocamlbuild
ocamlfind
rdbg>= 1.170
|extlib
extlib-compat
|oasis>= 0.4.7
oasis-mirage>= 0.4.7
Availableocaml-version >= "4.02"
PublishedAug 1, 2018
Source [http] http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lutin.2.56.tgz
73384160b3e71492a663962d262ba8e3
StatisticsInstalled 4 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/lutin/lutin.2.56/opam

Lutin: modeling stochastic reactive systems.

Lutin is a language to model stochastic reactive systems. It has been initially designed to model environments and perform automated testing of reactive systems with Lurette.

No package is dependent