cvc5: A Versatile and Industrial-Strength SMT Solver
Universidade Federal de Minas Gerais · Stanford University · +3 more institutions
Indexed incrossref
Abstract
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.
Citation impact
404
total citations
- FWCI
- 244.13
- Percentile
- 100%
- References
- 113
Citations per year
Authors
16Topics & keywords
Topics
Keywords
- Computer science
- Solver
- Programming language
- Problem solver
- Satisfiability modulo theories
- Base (topology)
- Code (set theory)
- Software engineering
UN Sustainable Development Goals
- Industry, innovation and infrastructure
No related works found for this paper.