Z3-Noodler Fixed

Competing	no
Single Query Track	QF_S, QF_SLIA
Incremental Track
Unsat Core Track
Model Validation Track
Proof Exhibition Track
Cloud Track
Parallel Track
Preliminary ID
Final ID	44984
Seed
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