Z3++BV

Competing	yes
Single Query Track	QF_BV
Incremental Track
Unsat Core Track
Model Validation Track	QF_BV
Proof Exhibition Track
Cloud Track
Parallel Track
Preliminary ID	38972
Final ID	39106
Seed
System Description	Z3++ at SMT-COMP 2022
Variant of Submission ID	Z3++
Derived from Solver	Z3-4.8.15
Wrapped Solvers
Website	https://z3-plus-plus.github.io/
Team Members	Shaowei Cai, Bohan Li, Jinkun Lin, Zhonghan Wang, Bohua Zhan, Xindi Zhang, Mengyu Zhao