idds

Identity-suppressed decision diagrams (IDDs)
Description

BDD and IDD implementation with hash-consing

Install
Published
07 Dec 2019
Authors
Maintainers
Sources
idds-0.2.tbz
sha256=0cb7c160cb45957dfd2603ca6d10dab80fef51d60e47b9d7a5a8b7970d30ac39 sha512=eddfd447f4ddac7873f762efd3cffb4987d06a44e21f765982673549da4a5771a101d98294267fb3fec458e0eccafc9ba05d9a715034307fc23b199a4c783deb
Dependencies
ppx_jane >= "v0.12.0"
ppx_inline_test with-test & >= "v0.12.0"
open > "0"
odoc with-doc
base >= "v0.12.0"
dune >= "1.10"
ocaml >= "4.04.0"
Reverse Dependencies