Snowflake

Snowflake

Generic Symbolic Dynamic Programming framework interfacing WAP, CoSTreD and MLBDD.