tcsprojects/mlsolver
A tool for solving the satisfiability and validity problems for modal fixpoint logics.
Public GitHub Catalog
Discovered Sep 27, 2026
tcsprojects / tcslib
A multi-purpose library for OCaml
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.
#10469154GitHub System ID
tcsprojectsOrganization / User
PublicVisibility
ActiveCatalog Status
More from tcsprojects
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/camldiets
A highly efficient OCaml set implementation for fat sets, i.e. densely populated sets over a discrete linear order.