package oma

  1. Overview
  2. Docs
An order maintenance data structure

Install

Dune Dependency

gitlab.inria.fr Readme Changelog LGPL-2.0-only WITH OCaml-LGPL-linking-exception License Edit opam file Versions (1)

Authors

  1. F
    Frédéric Bour
  2. F
    François Pottier

Maintainers

  1. F
    François Pottier

Sources

archive.tar.gz
md5=64386c995f449c90592ea71400c3686c
sha512=81337806021c6d239cce7fc141097b84536ed43dcc45e0e7c94f9f29789c0924fe3873f047c14d86bdf330f322ec3e1cd7f601523a3af18291e76499f619f418

Description

Published: 10 Jan 2024

README

Oma

Oma is an OCaml library. It offers an implementation of the order maintenance data structure described in this paper.

Here is its documentation.

Dependencies (2)

  1. ocaml >= "4.12"
  2. dune >= "3.8"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None