Snowflake

Snowflake : A Generic Symbolic Dynamic Programming framework
Description
Install
Published
16 Oct 2021
Sources
snowflake-v0.02.02.tar.gz
md5=a03dcf6502bab8a8eca0a07b02e23562
Dependencies
mlbdd
>= "0.7.2"
GuaCaml
>= "0.03" & < "0.05"
ocaml
>= "4.08"
Reverse Dependencies