4 search results for "author:"Martin Lange""
Showing 1 - 4
-
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 packages27 Feb 2017
-
An abstraction layer for integrating SAT Solvers into OCaml0.7.1BSD-3-clauseUsed by 1 other packages16 Nov 2022
-
A collection of tools for generating, manipulating and - most of all - solving parity games4.3BSD-3-clauseUsed by 0 other packages13 Aug 2024
-
A multi-purpose library for OCaml.0.3BSD-3-ClauseUsed by 1 other packages13 Feb 2018