package tdk
The Decision Kit is a collection of data structures that are useful
Install
Dune Dependency
Authors
Maintainers
Sources
0.2.0
sha256=c8020827bd27e94da2cefcb20e0a8cebc51b28a807216c6eaa9ffa17f59aa680
md5=38668a5eafcdf966ac1adaedfdfc59e5
Description
for representing functions, relations, and other combinatorial objects. These data structures are based on various generalizations of reduced ordered binary decision diagrams.
Published: 10 Sep 2015
Dependencies (3)
-
ocamlbuild
build -
ocamlfind
build -
ocaml
>= "4.00.1" & < "5.0.0"
Dev Dependencies (1)
-
ounit
with-test & >= "1.0.2"
Used by
None
Conflicts
None
On This Page