Description

BDD and IDD implementation with hash-consing

Published: 07 Dec 2019

Dependencies (8)

  1. ppx_jane >= "v0.12.0"
  2. ppx_inline_test with-test & >= "v0.12.0"
  3. ppx_deriving >= "4.3"
  4. open > "0"
  5. odoc with-doc
  6. base >= "v0.12.0"
  7. dune >= "1.10"
  8. ocaml >= "4.04.0"

Reverse Dependencies (1)

  1. netkat

Conflicts

    None
Identity-suppressed decision diagrams (IDDs)

Install

Documentation github.com Readme Changelog MIT License Edit opam file

Authors

  1. S
    Steffen Smolka <smolka@cs.cornell.edu>

Maintainers

  1. S
    Steffen Smolka <smolka@cs.cornell.edu>

Sources

idds-0.2.tbz
sha256=0cb7c160cb45957dfd2603ca6d10dab80fef51d60e47b9d7a5a8b7970d30ac39
sha512=eddfd447f4ddac7873f762efd3cffb4987d06a44e21f765982673549da4a5771a101d98294267fb3fec458e0eccafc9ba05d9a715034307fc23b199a4c783deb