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