tcsprojects/mlsolver
A tool for solving the satisfiability and validity problems for modal fixpoint logics.
Public GitHub Catalog
Discovered Sep 27, 2026
tcsprojects / ocaml-sat-solvers
SAT Solvers 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.
#10397058GitHub 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/tcslib
A multi-purpose library for OCaml