patricia-treeversion Documentation on ocaml.org
Patricia Tree data structure in OCaml for maps and sets. Supports generic key-value pairs
| Authors | Matthieu Lemerre <matthieu.lemerre@cea.fr> and Dorian Lesbre <dorian.lesbre@cea.fr> |
|---|---|
| License | LGPL-2.1-only |
| Published | |
| Homepage | https://codex.top/api/patricia-tree/ |
| Issue Tracker | https://github.com/codex-semantics-library/patricia-tree/issues |
| Documentation | https://codex.top/api/patricia-tree/ |
| Maintainer | Dorian Lesbre <dorian.lesbre@cea.fr> |
| Dependencies | |
| Source [http] | https://github.com/codex-semantics-library/patricia-tree/releases/download/v0.15.0/patricia-tree-0.15.0.tbz sha256=e0fe66ab7da5b2ad240b64430d605f4064bc704bf487acc6314fd868e98ec279 sha512=72d267a727bdda2b3254a8459f6ab3b78ac539456dca8d026520a3a1537369d553d4008c17956d465ea40aa0fdca5a4df1d658fd28af68f73754904a0350d421 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/patricia-tree/patricia-tree.0.15.0/opam |
Required by
- codex
- colibri2>=0.6
- frama_c_codex
- goblint>=2.8.0
- smtml>=0.7.0 & <0.17.0
- soteria<0.2.3
- union-find-lattice
