zelusversion
A synchronous language with ODEs
Authors | Timothy Bourke <timothy.bourke@inria.fr> and Marc Pouzet <marc.pouzet@ens.fr> |
---|---|
License | INRIA Non-Commercial License Agreement |
Published | |
Homepage | http://zelus.di.ens.fr |
Issue Tracker | https://github.com/INRIA/zelus/issues |
Maintainer | Marc Pouzet <marc.pouzet@ens.fr> |
Dependencies | |
Optional dependencies | |
Conflicts |
|
Source [http] | https://github.com/INRIA/zelus/archive/2.2.tar.gz md5=437ae922f1fda392efca3e37e8b8bb4c sha512=d591cdbeedb8f3a7f568d6d4994de572093822cb354b112886326219174311715a71a35de57a4c2070eae349f65f0c8f3d6c2f6a5a79a8187bbffc687cd108a6 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/zelus/zelus.2.2/opam |
Required by
- zelus-gtk>=2.2