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.
Author | Spiros Eliopoulos <seliopou@gmail.com> |
---|---|
License | BSD-3-Clause |
Published | |
Homepage | http://frenetic-lang.org |
Issue Tracker | https://github.com/frenetic-lang/ocaml-tdk/issues |
Maintainer | Spiros Eliopoulos <seliopou@gmail.com> |
Dependencies |
|
Source [http] | https://codeload.github.com/frenetic-lang/ocaml-tdk/tar.gz/0.2.0 sha256=c8020827bd27e94da2cefcb20e0a8cebc51b28a807216c6eaa9ffa17f59aa680 md5=38668a5eafcdf966ac1adaedfdfc59e5 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/tdk/tdk.0.2.0/opam |
No package is dependent