Z3str4

Competing	yes
Single Query Track	QF_S, QF_SLIA
Incremental Track
Unsat Core Track
Model Validation Track
Preliminary ID	28567
Final ID	28721
Seed	34376255
System Description	Z3str4: A Two-Armed String Solver
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website	https://z3str4.github.io
Team Members	Murphy Berzish, Mitja Kulczynski, Federico Mora, Vijay Ganesh, Dirk Nowotka