tdkversion

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.

AuthorSpiros Eliopoulos <seliopou@gmail.com>
LicenseBSD-3-Clause
Published
Homepagehttp://frenetic-lang.org
Issue Trackerhttps://github.com/frenetic-lang/ocaml-tdk/issues
MaintainerSpiros Eliopoulos <seliopou@gmail.com>
Dependencies
Source [http] https://codeload.github.com/frenetic-lang/ocaml-tdk/tar.gz/0.2.0
sha256=c8020827bd27e94da2cefcb20e0a8cebc51b28a807216c6eaa9ffa17f59aa680
md5=38668a5eafcdf966ac1adaedfdfc59e5
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/tdk/tdk.0.2.0/opam
No package is dependent