package oma

  1. Overview
  2. Docs
On This Page
  1. API
    1. Library oma
An order maintenance data structure

Install 

dune-project
 Dependency

gitlab.inria.fr Readme Changelog 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=26c586ff4e1bfacd2637314b4bb98535
sha512=8f795d4ab5ead677f14e22d1ed78ef22b474da8b972894ce76cccd787e7a1a99bf7853ca6a411420c647fced173806f1ce534eae290e22852828ab3ed3f325b8

doc/index.html

oma

API

Library oma

  • Oma This library implements an order maintenance data structure.