Snowflake

Snowflake : A Generic Symbolic Dynamic Programming framework
Description
Install
Published
05 Sep 2022
Sources
snowflake-v0.02.03.tar.gz
md5=e47bee554483743d5991ddaab3fa4483
Dependencies
mlbdd
>= "0.7.2"
GuaCaml
>= "0.05"
ocaml
>= "4.13"
Reverse Dependencies