ptmap
ptmap copied to clipboard
backtracking
Implementation of maps of integers with Patricia trees
Integer map implementation using Patricia trees
Follows "Fast Mergeable Integer Maps" by Chris Okasaki and Andrew Gill (Workshop on ML, 1998)
Note: In 2017, a bug was found in the paper above, which is described in "QuickChecking Patricia Trees" by Jan Midtgaard. This is fixed in the present OCaml code.
Metadata
17
Stars
5
Forks
Watchers
Owner
backtracking
Metadata
Implementation of maps of integers with Patricia trees