CVC4-mv

Competing	yes
Single Query Track
Incremental Track
Unsat Core Track
Model Validation Track	QF_BV, QF_IDL, QF_RDL, QF_LIA, QF_LRA, QF_LIRA
Preliminary ID	28356
Final ID	28801
Seed	94305
System Description	CVC4 at the SMT Competition 2020
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website	https://cvc4.github.io/
Team Members	Clark Barrett, Haniel Barbosa, Martin Brain, Ahmed Irfan, Makai Mann, Mudathir Mohamed, Aina Niemetz, Andres Noetzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Ying Sheng, Cesare Tinelli, Amalee Wilson, Yoni Zohar