package tdk

  1. Overview
  2. Docs
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)

  1. ocamlbuild build
  2. ocamlfind build
  3. ocaml >= "4.00.1" & < "5.0.0"

Dev Dependencies (1)

  1. ounit with-test & >= "1.0.2"

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.