Z3str4

Competing	yes
Single Query Track	QF_S, QF_SLIA
Incremental Track
Unsat Core Track
Model Validation Track
Proof Exhibition Track
Cloud Track
Parallel Track
Preliminary ID	36977
Final ID	39107
Seed	33
System Description	Z3str4, an SMT solver for the SMT-LIB theory of strings
Variant of Submission ID
Derived from Solver	Z3, Z3str3
Wrapped Solvers
Website	https://z3str4.github.io/
Team Members	Zhengyang Lu, Stefan Siemer, Mitja Kulczynski, Murphy Berzish, Vijay Ganesh, Florin Manea