Opam Package idds.0.2

Package info

opam-nameidds
opam-version0.2
synopsisIdentity-suppressed decision diagrams (IDDs)
descriptionBDD and IDD implementation with hash-consing
authors
  • Steffen Smolka <smolka@cs.cornell.edu>
homepagehttps://github.com/netkat-lang/idds
licenseMIT
changes-fileCHANGES.md
readme-fileREADME.md
deps (8)
revdeps(0)
metas (1)
libraries (1)

Package modules

Package sources

idds

Package files

lib/idds/var.mli
lib/idds/var.ml
lib/idds/opam
lib/idds/idds__Var.cmx
lib/idds/idds__Var.cmti
lib/idds/idds__Var.cmt
lib/idds/idds__Var.cmi
lib/idds/idds__Idd.cmx
lib/idds/idds__Idd.cmti
lib/idds/idds__Idd.cmt
lib/idds/idds__Idd.cmi
lib/idds/idds__Dd.cmx
lib/idds/idds__Dd.cmti
lib/idds/idds__Dd.cmt
lib/idds/idds__Dd.cmi
lib/idds/idds__Boolean.cmx
lib/idds/idds__Boolean.cmt
lib/idds/idds__Boolean.cmi
lib/idds/idds__Bdd.cmx
lib/idds/idds__Bdd.cmti
lib/idds/idds__Bdd.cmt
lib/idds/idds__Bdd.cmi
lib/idds/idds.ml
lib/idds/idds.cmxs
lib/idds/idds.cmxa
lib/idds/idds.cmx
lib/idds/idds.cmt
lib/idds/idds.cmi
lib/idds/idds.cma
lib/idds/idds.a
lib/idds/idd.mli
lib/idds/idd.ml
lib/idds/dune-package
lib/idds/dd.mli
lib/idds/dd.ml
lib/idds/boolean.ml
lib/idds/bdd.mli
lib/idds/bdd.ml
lib/idds/META
lib/idds
doc/idds/README.md
doc/idds/LICENSE
doc/idds/CHANGES.md
doc/idds