4 search results for "author:"Oliver Friedmann""
A highly efficient OCaml set implementation for fat sets, i.e. densely populated sets over a discrete linear order.0.2BSD-3-ClauseUsed by 0 other packagesLast published 27 Feb 2017
An abstraction layer for integrating SAT Solvers into OCaml0.7.1BSD-3-clauseUsed by 0 other packagesLast published 16 Nov 2022
A collection of tools for generating, manipulating and - most of all - solving parity games4.1BSD-3-ClauseUsed by 0 other packagesLast published 28 Jun 2017
A multi-purpose library for OCaml.0.3BSD-3-ClauseUsed by 1 other packagesLast published 13 Feb 2018