mschlaipfer/z3
The Z3 Theorem Prover
Public GitHub Catalog
Discovered Oct 5, 2026
mschlaipfer / tracecheck-interpol
Labelled interpolation system for resolution proofs in the Tracecheck format.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#30701334GitHub System ID
mschlaipferOrganization / User
PublicVisibility
ActiveCatalog Status
More from mschlaipfer
mschlaipfer/fmt_presentation
Presentation for Seminar on Finite Model Theory, based on Libkin's book chapter 9 ("Turing Machines and Finite Models")
mschlaipfer/scabolic
Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.
mschlaipfer/hike_and_swim_2013
Mock academic article used as an invitation to a family hike-and-swim day. Written in LaTeX.