idds

Identity-suppressed decision diagrams (IDDs)
IN THIS PACKAGE

Libraries

This package provides the following libraries (via dune):

idds

Documentation:

  • Idds.Bdd Reduced Ordered Binary Decision Diagrams (BDDs).
  • Idds.Boolean
  • Idds.Dd Decision Diagrams (DDs).
  • Idds.Idd Identity Suppressed Decision Diagrams (IDDs).
  • Idds.Var Boolean variable on which a DD can branch. Morally just an integer, but kept abstract for safety.

Dependencies: base, open, unix, ppx_sexp_conv.runtime-lib, sexplib0, ppx_compare.runtime-lib, ppx_enumerate.runtime-lib, ppx_hash.runtime-lib, ppx_here.runtime-lib, ppx_assert.runtime-lib, ppx_bench.runtime-lib, bin_prot, fieldslib, ppx_inline_test.config, ppx_inline_test.runtime-lib, ppx_module_timer.runtime, typerep, variantslib, ppx_expect.collector, ppx_expect.config, ppx_log.types, base_quickcheck.ppx_quickcheck.runtime, base_quickcheck, ppx_deriving.runtime