Snowflake

Snowflake : A Generic Symbolic Dynamic Programming framework