4 search results for "author:"Martin Lange""

Showing 1 - 4
  1. A highly efficient OCaml set implementation for fat sets, i.e. densely populated sets over a discrete linear order.
    0.2
    BSD-3-Clause
    Used by 0 other packages
    27 Feb 2017
  2. An abstraction layer for integrating SAT Solvers into OCaml
    0.7.1
    BSD-3-clause
    Used by 0 other packages
    16 Nov 2022
  3. A collection of tools for generating, manipulating and - most of all - solving parity games
    4.1
    BSD-3-Clause
    Used by 0 other packages
    28 Jun 2017
  4. A multi-purpose library for OCaml.
    0.3
    BSD-3-Clause
    Used by 1 other packages
    13 Feb 2018