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

Showing 1 - 7
  1. camldiets

    No 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.3
    BSD-3-clause
    Used by 0 other packages
    07 Apr 2025
  2. fadecider

    No documentation

    A package for deciding universality and subsumption of omega automata using Ramsey-based methods
    Oliver Friedmann Felix Klaedtke Martin Lange
    0.7
    BSD-3-clause
    Used by 0 other packages
    14 Oct 2025
  3. mlsolver

    No documentation

    A tool for solving the satisfiability and validity problems for modal fixpoint logics
    Oliver Friedmann Martin Lange
    1.5
    BSD-3-clause
    Used by 0 other packages
    14 Oct 2025
  4. ocaml-sat-solvers

    No documentation

    An abstraction layer for integrating SAT Solvers into OCaml
    Oliver Friedmann Martin Lange
    0.8
    BSD-3-clause
    Used by 2 other packages
    05 Aug 2025
  5. pgsolver

    No documentation

    A collection of tools for generating, manipulating and - most of all - solving parity games
    Oliver Friedmann Martin Lange
    4.4
    BSD-3-clause
    Used by 1 other packages
    01 Oct 2025
  6. TCSLib

    No documentation

    A multi-purpose library for OCaml.
    Oliver Friedmann Martin Lange
    0.3
    BSD-3-Clause
    Used by 1 other packages
    13 Feb 2018
  7. tcs-lib

    No documentation

    A multi-purpose library for OCaml
    Oliver Friedmann Martin Lange
    0.6
    BSD-3-clause
    Used by 3 other packages
    29 Sep 2025