2022-Z3++

Competing	no
Single Query Track
Incremental Track
Unsat Core Track
Model Validation Track	QF_IDL, QF_LIA
Proof Exhibition Track
Cloud Track
Parallel Track
Preliminary ID	38965
Final ID	38965
Seed
System Description	Z3++ at SMT-COMP 2022
Variant of Submission ID
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