z3-alpha

Competing	yes
Single Query Track	QF_NIA, QF_NRA, QF_S, QF_SLIA, QF_SNIA
Incremental Track
Unsat Core Track
Model Validation Track
Proof Exhibition Track
Cloud Track
Parallel Track
Preliminary ID	44485
Final ID	44764
Seed	33
System Description	Z3-alpha: a reinforcement learning guided SMT solver
Variant of Submission ID
Derived from Solver	Z3
Wrapped Solvers
Website	https://z3string.github.io/
Team Members	Zhengyang Lu, Stefan Siemer, Piyush Jha, Florin Manea, Joel Day, and Vijay Ganesh∗