package tdk

  1. Overview
  2. Docs
The Decision Kit is a collection of data structures that are useful

Install

Dune Dependency

frenetic-lang.org Edit opam file Versions (3)

Authors

  1. S
    Spiros Eliopoulos <seliopou@gmail.com>

Maintainers

  1. S
    Spiros Eliopoulos <seliopou@gmail.com>

Sources

0.2.0
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