package tdk
tdk - The Decision Kit
Install
Dune Dependency
Authors
Maintainers
Sources
v0.1.1.tar.gz
md5=9e8405613bc75f717b88e4223cda5a67
Description
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.
Published: 09 Dec 2014
Dependencies (3)
-
ocamlbuild
build - ocamlfind
-
ocaml
>= "4.01.0" & < "5.0.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page