package lutin
Lutin: modeling stochastic reactive systems
Install
Dune Dependency
Authors
Maintainers
Sources
lutin.2.70.4-fix.tgz
sha256=8a72b7832cc7ce4e08d36c46611ec58278cf890fb70e62b4093003605d777704
md5=3b8375658938b3757ab2a14e5a54a51a
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.184" & <= "1.184.1" - ocamlfind
-
ocamlbuild
build -
oasis-mirage
build & >= "0.4.7" -
oasis
build & >= "0.4.7" - mlgmpidl
-
lutils
>= "1.49" - lustre-v6
-
extlib-compat
build -
extlib
build - camlidl
- num
-
base-unix
build -
conf-perl
build -
conf-m4
build - conf-mpfr
- conf-gmp
- base-bigarray
-
ocaml
>= "4.05" & < "4.12"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page