4 Search Results
Camldiets
A highly efficient OCaml set implementation for fat sets, i.e. densely populated sets over a discrete linear order.
0.2
BSD-3-Clause
Used by 0 other packages
ocaml-sat-solvers
An abstraction layer for integrating SAT Solvers into OCaml.
0.4
BSD-3-Clause
Used by 1 other packages
pgsolver
A collection of tools for generating, manipulating and - most of all - solving parity games.
4.1
BSD-3-Clause
Used by 0 other packages
TCSLib
A multi-purpose library for OCaml.
0.3
BSD-3-Clause
Used by 1 other packages