Snowflakeversion

Snowflake : A Generic Symbolic Dynamic Programming framework

AuthorJoan Thibault <joan.thibault@ens-rennes.fr>
LicenseLGPL-3.0-only WITH OCaml-LGPL-linking-exception
Published
Homepagehttps://gitlab.com/boreal-ldd/snowflake
Issue Trackerhttps://gitlab.com/boreal-ldd/snowflake
MaintainerJoan Thibault <joan.thibault@ens-rennes.fr>
Dependencies
Source [http] https://gitlab.com/boreal-ldd/snowflake/-/archive/v0.02.03/snowflake-v0.02.03.tar.gz
md5=e47bee554483743d5991ddaab3fa4483
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/Snowflake/Snowflake.0.02.03/opam
Required by