JohnLyu2/z3alpha
Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis.
This tool helps researchers and developers who work with Satisfiability Modulo Theories (SMT) solvers to automatically find the most efficient strategies for solving their specific problem sets. You provide a collection of SMT problems, and it synthesizes a custom Z3 solver strategy optimized for speed and accuracy on those problems. This is for advanced users of SMT solvers who need to improve the performance of their automated reasoning tasks.
Use this if you are an SMT solver developer or researcher struggling to find the best Z3 strategy to efficiently solve a specific set of SMT problems.
Not ideal if you are new to SMT solvers or only need to solve general-purpose SMT problems without requiring tailored performance optimizations.
Stars
23
Forks
5
Language
Python
License
Apache-2.0
Category
Last pushed
Feb 10, 2026
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/ml-frameworks/JohnLyu2/z3alpha"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
jonathan-laurent/AlphaZero.jl
A generic, simple and fast implementation of Deepmind's AlphaZero algorithm.
suragnair/alpha-zero-general
A clean implementation based on AlphaZero for any game in any framework + tutorial +...
NeymarL/ChineseChess-AlphaZero
Implement AlphaZero/AlphaGo Zero methods on Chinese chess.
mokemokechicken/reversi-alpha-zero
Reversi reinforcement learning by AlphaGo Zero methods.
werner-duvaud/muzero-general
MuZero