4 search results for "author:"Oliver Friedmann""

Showing 1 - 4
  1. Camldiets
    Documentation
    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
    27 Feb 2017
  2. ocaml-sat-solvers
    Documentation
    An abstraction layer for integrating SAT Solvers into OCaml
    Oliver Friedmann Martin Lange Maurice Herwig
    0.7.1
    BSD-3-clause
    Used by 1 other packages
    16 Nov 2022
  3. pgsolver
    Documentation
    A collection of tools for generating, manipulating and - most of all - solving parity games
    Oliver Friedmann Martin Lange
    4.3
    BSD-3-clause
    Used by 0 other packages
    13 Aug 2024
  4. TCSLib
    Documentation
    A multi-purpose library for OCaml.
    Oliver Friedmann Martin Lange
    0.3
    BSD-3-Clause
    Used by 1 other packages
    13 Feb 2018