4 Search Results
Camldiets
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
ocaml-sat-solvers
An abstraction layer for integrating SAT Solvers into OCaml
Oliver Friedmann Martin Lange Maurice Herwig
0.7.1
BSD-3-clause
Used by 0 other packages
pgsolver
A collection of tools for generating, manipulating and - most of all - solving parity games
Oliver Friedmann Martin Lange
4.1
BSD-3-Clause
Used by 0 other packages
TCSLib
A multi-purpose library for OCaml.
Oliver Friedmann Martin Lange
0.3
BSD-3-Clause
Used by 1 other packages