Snowflakeversion
Snowflake : A Generic Symbolic Dynamic Programming framework
| Author | Joan Thibault <joan.thibault@ens-rennes.fr> |
|---|---|
| License | LGPL-3.0-only WITH OCaml-LGPL-linking-exception |
| Published | |
| Homepage | https://gitlab.com/boreal-ldd/snowflake |
| Issue Tracker | https://gitlab.com/boreal-ldd/snowflake |
| Maintainer | Joan 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 sha256=7e752144fb5aba697aace6d3ed26479ab7f2d9cc42b9ab15f380123d8cf7b515 md5=e47bee554483743d5991ddaab3fa4483 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/Snowflake/Snowflake.0.02.03/opam |
Required by
