Opam Package idd.0.1

Package info

opam-nameidd
opam-version0.1
synopsisIdentity-suppressed decision diagrams (IDDs)
authors
  • Steffen Smolka smolka@cs.cornell.edu
homepagehttps://github.com/netkat-lang/idd
readme-fileREADME.md
deps (5)
revdeps(0)
metas (1)
libraries (1)

Package modules

Package sources

idd

Package files

lib/idd/var.mli
lib/idd/var.ml
lib/idd/opam
lib/idd/idd___Var.cmx
lib/idd/idd___Var.cmti
lib/idd/idd___Var.cmt
lib/idd/idd___Var.cmi
lib/idd/idd___Idd.cmx
lib/idd/idd___Idd.cmti
lib/idd/idd___Idd.cmt
lib/idd/idd___Idd.cmi
lib/idd/idd___Dd.cmx
lib/idd/idd___Dd.cmti
lib/idd/idd___Dd.cmt
lib/idd/idd___Dd.cmi
lib/idd/idd___Boolean.cmx
lib/idd/idd___Boolean.cmt
lib/idd/idd___Boolean.cmi
lib/idd/idd___Bdd.cmx
lib/idd/idd___Bdd.cmti
lib/idd/idd___Bdd.cmt
lib/idd/idd___Bdd.cmi
lib/idd/idd___Algebra.cmx
lib/idd/idd___Algebra.cmt
lib/idd/idd___Algebra.cmi
lib/idd/idd_.ml
lib/idd/idd_.cmxs
lib/idd/idd_.cmxa
lib/idd/idd_.cmx
lib/idd/idd_.cmt
lib/idd/idd_.cmi
lib/idd/idd_.cma
lib/idd/idd_.a
lib/idd/idd.mli
lib/idd/idd.ml
lib/idd/dune-package
lib/idd/dd.mli
lib/idd/dd.ml
lib/idd/boolean.ml
lib/idd/bdd.mli
lib/idd/bdd.ml
lib/idd/algebra.ml
lib/idd/META
lib/idd
doc/idd/README.md
doc/idd