tdk

The 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.

Install
Documentation frenetic-lang.org Edit opam file
Published
10 Sep 2015
Authors
Maintainers
Sources
0.2.0
md5=38668a5eafcdf966ac1adaedfdfc59e5
Dependencies
ocamlbuild build
ounit with-test & >= "1.0.2"
ocamlfind build
ocaml >= "4.00.1" & < "5.0.0"
Reverse Dependencies