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: 20 Jul 2021

Dependencies (21)

  1. polka
  2. ezdl
  3. gbddml
  4. rdbg >= "1.196.9"
  5. ocamlfind
  6. dune >= "2.0"
  7. mlgmpidl
  8. lutils >= "1.49"
  9. lustre-v6
  10. extlib-compat build
  11. extlib build
  12. graphics
  13. camlidl
  14. num
  15. base-unix build
  16. conf-perl build
  17. conf-m4 build
  18. conf-mpfr
  19. conf-gmp
  20. base-bigarray
  21. ocaml

Reverse Dependencies (1)

  1. bddrand

Conflicts

    None
Lutin: modeling stochastic reactive systems

Install

Documentation www-verimag.imag.fr CECILL-2.1 License Edit opam file

Authors

  1. E
    Erwan Jahier
  2. P
    Pascal Raymond
  3. Y
    Yvan Roux

Maintainers

  1. E
    erwan.jahier@univ-grenoble-alpes.fr

Sources

lutin.2.71.10.tgz
md5=4d07d1263dbc90ab18cbaec55a57dcfe
sha512=2e899aee5e44826827b3626771f7ce01241b1745d48f30b60404cc5cbaa44ac608920e9af3bf171275c429a8b823b3cee7542199b7c4c32919b6bb37e33bf8de