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 md5=38668a5eafcdf966ac1adaedfdfc59e5 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/tdk/tdk.0.2.0/opam |
No package is dependent
