package mlbdd
An OCaml library for Binary Decision Diagrams (BDDs)
Install
Dune Dependency
Authors
Maintainers
Sources
mlbdd-v0.7.2.tbz
sha256=26e07017d63c9e05ae83f1b4f4b31f2f74914623eeb867e12238e3bbebb072f7
sha512=39ac26e8350b4f030237dcf39c3236483d6528bb12d77bc3ce23efede39a4b9d7eab74f9bdcd2ac59e56db056d70422fbcd506b272a7a2c896ef8be3d747d635
CHANGES.md.html
v0.7.1
Fixed install
v0.7
Switched build from Makefile to Dune
Cleaned up project structure
Added caching for support computation (thanks @JoanThibault)