Yices2-QS

Competing	yes
Single Query Track	BV, NRA
Incremental Track
Unsat Core Track
Model Validation Track
Cloud Track
Parallel Track
Preliminary ID	33316
Final ID	33422
Seed	278
System Description	Yices-QS, an extension of Yices for quantified satisfaction
Variant of Submission ID
Derived from Solver	Yices2
Wrapped Solvers
Website	https://github.com/disteph/yicesQS
Team Members	Stéphane Graham-Lengrand