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.

40
/ 100
Emerging
No Package No Dependents
Maintenance 10 / 25
Adoption 6 / 25
Maturity 9 / 25
Community 15 / 25

How are scores calculated?

Stars

23

Forks

5

Language

Python

License

Apache-2.0

Category

game-playing-alphazero

Last pushed

Feb 10, 2026

Commits (30d)

0

GitHub
Game Playing AlphaZero · 41 frameworks

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

suragnair/alpha-zero-general

A clean implementation based on AlphaZero for any game in any framework + tutorial +...

51

werner-duvaud/muzero-general

MuZero

51

jonathan-laurent/AlphaZero.jl

A generic, simple and fast implementation of Deepmind's AlphaZero algorithm.

46

mokemokechicken/reversi-alpha-zero

Reversi reinforcement learning by AlphaGo Zero methods.

44

NeymarL/ChineseChess-AlphaZero

Implement AlphaZero/AlphaGo Zero methods on Chinese chess.

44

Explore ML Frameworks

All categories Trending ML Framework directory Insights