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.02/snowflake-v0.02.02.tar.gz
sha256=e20bafade35de72f731f3a2f4abe7eb3940da3beca6c6bf7b720386f5b66949e
md5=a03dcf6502bab8a8eca0a07b02e23562
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/Snowflake/Snowflake.0.02.02/opam
Required by