Pinned Repositories
pgsolver
A collection of tools for generating, manipulating and - most of all - solving parity games.
mlsolver
A tool for solving the satisfiability and validity problems for modal fixpoint logics.
ocaml-sat-solvers
SAT Solvers For OCaml
tcslib
A multi-purpose library for OCaml
fadecider
A package for deciding universality and subsumption of omega automata using Ramsey-based methods.
camldiets
A highly efficient OCaml set implementation for fat sets, i.e. densely populated sets over a discrete linear order.
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
metapostgraphs
A library that allows you to draw graphs using metapost and latex
tcsprojects's Repositories
tcsprojects/pgsolver
A collection of tools for generating, manipulating and - most of all - solving parity games.
tcsprojects/ocaml-sat-solvers
SAT Solvers For OCaml
tcsprojects/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
tcsprojects/metapostgraphs
A library that allows you to draw graphs using metapost and latex
tcsprojects/tcslib
A multi-purpose library for OCaml
tcsprojects/fadecider
A package for deciding universality and subsumption of omega automata using Ramsey-based methods.
tcsprojects/mlsolver
A tool for solving the satisfiability and validity problems for modal fixpoint logics.
tcsprojects/camldiets
A highly efficient OCaml set implementation for fat sets, i.e. densely populated sets over a discrete linear order.