Hello,
It is my pleasure to announce the first release of Oma. This library offers an implementation of the
order maintenance data structure described in this paper.
opam update
opam install oma
Here is its documentation.
Happy hacking!
11 Likes