Z3++

Competing	yes
Single Query Track	QF_IDL, QF_LIA, QF_NIA, QF_NRA
Incremental Track
Unsat Core Track
Model Validation Track	QF_IDL, QF_LIA, QF_NIA, QF_NRA
Proof Exhibition Track
Cloud Track
Parallel Track
Preliminary ID	44702(sq);44703(mv)
Final ID	44702;44703(mv)
Seed	1
System Description	Z3++ at SMT-COMP 2023
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, Bohua Zhan, Xindi Zhang, and Mengyu Zhao