tdk

Author Spiros Eliopoulos <seliopou@gmail.com>
License BSD-3-clause
Homepage http://frenetic-lang.org
Issue Tracker https://github.com/frenetic-lang/ocaml-tdk/issues
Maintainer Spiros Eliopoulos <seliopou@gmail.com>
Dependencies
& ocamlbuild
ocamlfind
ounit >= 1.0.2
Available ocaml-version >= "4.00.1"
Published Sep 9, 2015
Source [http] http://codeload.github.com/frenetic-lang/ocaml-tdk/tar.gz/0.2.0
38668a5eafcdf966ac1adaedfdfc59e5
Statistics Installed 4 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/tdk/tdk.0.2.0/opam

The Decision Kit is a collection of data structures that are useful

for representing functions, relations, and other combinatorial objects. These data structures are based on various generalizations of reduced ordered binary decision diagrams.

No package is dependent