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

Showing 1 - 7
  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.3
    BSD-3-clause
    Used by 0 other packages
    07 Apr 2025
  2. fadecider
    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
    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
    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
    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
    Documentation
    A multi-purpose library for OCaml
    Oliver Friedmann Martin Lange
    0.5
    BSD-3-clause
    Used by 0 other packages
    18 May 2025
  7. tcs-lib
    Documentation
    A multi-purpose library for OCaml
    Oliver Friedmann Martin Lange
    0.6
    BSD-3-clause
    Used by 3 other packages
    29 Sep 2025