Yaga

Competing	yes
Single Query Track	QF_LRA
Incremental Track
Unsat Core Track
Model Validation Track	QF_LRA
Proof Exhibition Track
Cloud Track
Parallel Track
Preliminary ID	44678
Final ID	44678
Seed	3621199
System Description	The Yaga SMT Solver in SMT-COMP 2023
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website	https://github.com/d3sformal/yaga
Team Members	Drahomír Hanák, Martin Blicha, Jan Kofroň