miquelramirez/z3
The Z3 Theorem Prover
Public GitHub Catalog
Discovered Oct 21, 2026
miquelramirez / libfixmath
Automatically exported from code.google.com/p/libfixmath
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.
#41842286GitHub System ID
miquelramirezOrganization / User
PublicVisibility
ActiveCatalog Status
More from miquelramirez
miquelramirez/ALE-Atari-Width
Code for Lipovetzky, Ramirez and Geffner paper presented at IJCAI-15
miquelramirez/Arcade-Learning-Environment
The Arcade Learning Environment (ALE) -- a platform for AI research.
miquelramirez/PDRplan
An automated planner based on the Property Directed Reachability algorithm