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

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