Name
Abstract | ||
|---|---|---|
cvc5 is the latest SMT solver in the cooperating validity checker series and builds on the successful code base of CVC4. This paper serves as a comprehensive system description of cvc5's architectural design and highlights the major features and components introduced since CVC4 1.8. We evaluate cvc5's performance on all benchmarks in SMT-LIB and provide a comparison against CVC4 and Z3. |
Year | DOI | Venue |
|---|---|---|
2022 | 10.1007/978-3-030-99524-9_24 | TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2022, PT I |
Keywords | DocType | Volume |
automated reasoning, constraint solving, satisfiability modulo theories, cvc5 | Conference | 13243 |
ISSN | Citations | PageRank |
0302-9743 | 0 | 0.34 |
References | Authors | |
0 | 16 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Haniel Barbosa | 1 | 1 | 4.07 |
| Clark Barrett | 2 | 0 | 1.35 |
| Martin Brain | 3 | 0 | 0.34 |
| Gereon Kremer | 4 | 3 | 1.76 |
| Hanna Lachnitt | 5 | 0 | 0.34 |
| Makai Mann | 6 | 0 | 0.34 |
| Abdalrhman Mohamed | 7 | 0 | 0.34 |
| Mudathir Mohamed | 8 | 0 | 0.34 |
| Aina Niemetz | 9 | 0 | 0.68 |
| Andres Notzli | 10 | 0 | 0.34 |
| Alex Ozdemir | 11 | 0 | 1.01 |
| Mathias Preiner | 12 | 0 | 0.68 |
| Andrew Reynolds | 13 | 5 | 4.14 |
| Ying Sheng | 14 | 0 | 0.34 |
| Cesare Tinelli | 15 | 0 | 0.34 |
| Yoni Zohar | 16 | 0 | 0.34 |