ptsetversion
Sets of integers implemented as Patricia trees
| Author | Jean-Christophe Filliâtre |
|---|---|
| License | LGPL-2.1-only |
| Published | |
| Homepage | https://www.lri.fr/~filliatr/software.en.html |
| Issue Tracker | https://github.com/UnixJunkie/ptset/issues |
| Maintainer | Jean-Christophe.Filliatre@lri.fr |
| Dependencies | |
| Source [http] | https://github.com/UnixJunkie/ptset/archive/v1.0.0.tar.gz sha256=a88c6391ea032083e29425cda73b4f8f4e8ccfd29b1e08ffb445f07ce8103a40 md5=1cd9591bb28397c56bd91b8c7e61aad9 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/ptset/ptset.1.0.0/opam |
No package is dependent
