Z3-Noodler

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	44407
Final ID	44716
Seed	6590
System Description	Z3-Noodler, System description for SMT-comp 2023
Variant of Submission ID
Derived from Solver	Z3
Wrapped Solvers
Website	https://github.com/VeriFIT/z3-noodler
Team Members	Vojťech Havlena, Juraj Síč, David Chocholatý, Ondřej Lengál, Lukáš Holík, Yu-Fang Chen