package idd

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

Install

github.com Readme Edit opam file

Authors

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

Maintainers

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

Sources

0.1.tar.gz
md5=ae78cf9648a3238e7336c95229e507ad

Description

Published: 24 May 2019

Dependencies (5)

  1. ppx_deriving
  2. ppx_jane
  3. base >= "v0.12.0"
  4. dune
  5. ocaml >= "4.04.0"

Dev Dependencies

None

Used by

None

Conflicts

None