opam - lutin.2.71.10

lutinversion
2.71.10
2.56
2.70.4
2.71.10
2.71.15 (latest)

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.

Tags	clib:stdc clib:camlidl
Authors	Erwan Jahier, Pascal Raymond and Yvan Roux
License	CECILL-2.1
Published	Jul 20, 2021
Homepage	http://www-verimag.imag.fr/Lutin.html
Issue Tracker	https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin/issues
Maintainer	erwan.jahier@univ-grenoble-alpes.fr
Dependencies	ocaml base-bigarray conf-gmp conf-mpfr conf-m4build conf-perlbuild base-unixbuild num camlidl graphics any of extlibbuild extlib-compatbuild lustre-v6 lutils>=1.49 mlgmpidl dune>=2.0 ocamlfind rdbg>=1.196.9 gbddml ezdl polka
Source [http]	http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lutin.2.71.10.tgz md5=4d07d1263dbc90ab18cbaec55a57dcfe sha512=2e899aee5e44826827b3626771f7ce01241b1745d48f30b60404cc5cbaa44ac608920e9af3bf171275c429a8b823b3cee7542199b7c4c32919b6bb37e33bf8de
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/lutin/lutin.2.71.10/opam

Required by

bddrand