YicesQS

Competing	yes
Single Query Track	BV, LIA, LRA, NIA, NRA
Incremental Track
Unsat Core Track
Model Validation Track
Proof Exhibition Track
Cloud Track
Parallel Track
Preliminary ID	39111
Final ID	39111
Seed	0
System Description	YicesQS 2023, an extension of Yices for quantified satisfiability
Variant of Submission ID
Derived from Solver	Yices2
Wrapped Solvers
Website	https://github.com/disteph/yicesQS
Team Members	Stephane Graham-Lengrand