ptmapversion
Maps of integers implemented as Patricia trees
An implementation inspired by Okasaki & Gill's paper 'Fast Mergeable Integer Maps'
Author | Jean-Christophe FilliĆ¢tre |
---|---|
License | LGPL-2.1-only |
Published | |
Homepage | https://github.com/backtracking/ptmap |
Issue Tracker | https://github.com/backtracking/ptmap/issues |
Maintainer | Jean-Christophe.Filliatre@lri.fr |
Dependencies |
|
Source [http] | https://github.com/backtracking/ptmap/releases/download/2.0.5/ptmap-2.0.5.tbz sha256=ebd1f8afe8679a226fdcbcdb323788e6f63db57521b151473f2ff8c05c30f3aa sha512=4a3f20d189d905cb588de3148361495adc40d5892473bf9cd7e49bc98558de29feb51efefb5aab77cad892dd288ad8fa0348832c78cc21e66539768a5a9cab5b |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/ptmap/ptmap.2.0.5/opam |
Required by
- coin<0.1.2
- haxe>=4.0.0
- hts_shrink<3.0.1
- uuuu<0.2.0