tcsprojects/mlsolver
A tool for solving the satisfiability and validity problems for modal fixpoint logics.
Public GitHub Catalog
Discovered Sep 27, 2026
tcsprojects / pgsolver
A collection of tools for generating, manipulating and - most of all - solving parity games.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#10539645GitHub System ID
tcsprojectsOrganization / User
PublicVisibility
ActiveCatalog Status
More from tcsprojects
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.