Opam Package tdk.0.2.0

Package info

opam-nametdk
opam-version0.2.0
synopsisThe Decision Kit is a collection of data structures that are useful
description for representing functions, relations, and other combinatorial objects. These data structures are based on various generalizations of reduced ordered binary decision diagrams.
authors
  • Spiros Eliopoulos <seliopou@gmail.com>
homepagehttp://frenetic-lang.org
licenseBSD-3-Clause
deps (4)
revdeps(0)
metas (1)
libraries (1)

Package modules

Package sources

tdk

Package files

lib/tdk/vlr.mli
lib/tdk/vlr.cmti
lib/tdk/vlr.cmt
lib/tdk/vlr.annot
lib/tdk/vcr.mli
lib/tdk/vcr.cmti
lib/tdk/vcr.cmt
lib/tdk/vcr.annot
lib/tdk/tdk.cmxs
lib/tdk/tdk.cmxa
lib/tdk/tdk.cmx
lib/tdk/tdk.cmt
lib/tdk/tdk.cmi
lib/tdk/tdk.cma
lib/tdk/tdk.a
lib/tdk/s.mli
lib/tdk/s.cmti
lib/tdk/bdd.mli
lib/tdk/bdd.cmti
lib/tdk/bdd.cmt
lib/tdk/bdd.annot
lib/tdk/META
lib/tdk