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.1.tar.gz
md5=9e8405613bc75f717b88e4223cda5a67
StatisticsInstalled once last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/tdk/tdk.0.1.1/opam
No package is dependent