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