tcsprojects/pgsolver
A collection of tools for generating, manipulating and - most of all - solving parity games.
Public GitHub Catalog
Discovered Sep 27, 2026
tcsprojects / mlsolver
A tool for solving the satisfiability and validity problems for modal fixpoint logics.
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.
#10539651GitHub 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.