package idds

  1. Overview
  2. No Docs
Identity-suppressed decision diagrams (IDDs)

Install

github.com 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

Description

BDD and IDD implementation with hash-consing

Published: 07 Dec 2019

Dependencies (6)

  1. ppx_jane >= "v0.12.0"
  2. ppx_deriving >= "4.3"
  3. open > "0"
  4. base >= "v0.12.0"
  5. dune >= "1.10"
  6. ocaml >= "4.04.0"

Dev Dependencies (2)

  1. ppx_inline_test with-test & >= "v0.12.0"
  2. odoc with-doc

Used by (1)

  1. netkat

Conflicts

None