tdkversion

tdk - The Decision Kit

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
Homepagehttps://github.com/frenetic-lang/ocaml-tdk
MaintainerSpiros Eliopoulos <seliopou@gmail.com>
Dependencies
Source [http] https://github.com/frenetic-lang/ocaml-tdk/archive/v0.1.0.tar.gz
md5=52c7f2c3768c4bac9b0f4acf72e5b081
StatisticsInstalled once last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/tdk/tdk.0.1.0/opam
No package is dependent