iddsversion

Identity-suppressed decision diagrams (IDDs)

BDD and IDD implementation with hash-consing

AuthorSteffen Smolka <smolka@cs.cornell.edu>
LicenseMIT
Published
Homepagehttps://github.com/netkat-lang/idds
Issue Trackerhttps://github.com/netkat-lang/idds/issues
MaintainerSteffen Smolka <smolka@cs.cornell.edu>
Dependencies
Source [http] https://github.com/netkat-lang/idds/releases/download/0.2/idds-0.2.tbz
sha256=0cb7c160cb45957dfd2603ca6d10dab80fef51d60e47b9d7a5a8b7970d30ac39
sha512=eddfd447f4ddac7873f762efd3cffb4987d06a44e21f765982673549da4a5771a101d98294267fb3fec458e0eccafc9ba05d9a715034307fc23b199a4c783deb
StatisticsInstalled 4 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/idds/idds.0.2/opam
No package is dependent