Popular repositories Loading

1. pgsolver pgsolver Public

   A collection of tools for generating, manipulating and - most of all - solving parity games.

   OCaml 35 16

2. mlsolver mlsolver Public

   A tool for solving the satisfiability and validity problems for modal fixpoint logics.

   OCaml 11 2

3. ocaml-sat-solvers ocaml-sat-solvers Public

   SAT Solvers For OCaml

   OCaml 5 2

4. tcslib tcslib Public

   A multi-purpose library for OCaml

   OCaml 4 2

5. fadecider fadecider Public

   A package for deciding universality and subsumption of omega automata using Ramsey-based methods.

   OCaml 3

6. camldiets camldiets Public

   A highly efficient OCaml set implementation for fat sets, i.e. densely populated sets over a discrete linear order.

   OCaml 2