package lutin

  1. Overview
  2. Docs
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.

Tags

clib:stdc clib:camlidl

Published: 01 Aug 2018

Dependencies (20)

  1. stdlib-shims
  2. rdbg >= "1.170" & <= "1.184.1"
  3. ocamlfind
  4. ocamlbuild build & != "0.9.0"
  5. oasis-mirage build & >= "0.4.7"
  6. oasis build & >= "0.4.7"
  7. mlgmpidl
  8. lutils >= "1.9" & < "1.48"
  9. lustre-v6
  10. extlib-compat build
  11. extlib build
  12. camlp4
  13. camlidl
  14. num
  15. base-unix build
  16. conf-perl build
  17. conf-m4 build
  18. conf-mpfr
  19. conf-gmp
  20. ocaml >= "4.02" & < "4.12"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.