package lutin
Lutin: modeling stochastic reactive systems
Install
Dune Dependency
Authors
Maintainers
Sources
lutin.2.56-fix.tgz
sha256=e916f8e4b65104b6911cb36fce7f4d5167ff15095d8fef95df46c3cabc74fae5
md5=282c7b3d0fa57385a6b4395239bc8e13
Description
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.
Dependencies (20)
- stdlib-shims
-
rdbg
>= "1.170" & <= "1.184.1" - ocamlfind
-
ocamlbuild
build & != "0.9.0" -
oasis-mirage
build & >= "0.4.7" -
oasis
build & >= "0.4.7" - mlgmpidl
-
lutils
>= "1.9" & < "1.48" - lustre-v6
-
extlib-compat
build -
extlib
build - camlp4
- camlidl
- num
-
base-unix
build -
conf-perl
build -
conf-m4
build - conf-mpfr
- conf-gmp
-
ocaml
>= "4.02" & < "4.12"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page