cvc5: A Versatile and Industrial-Strength SMT Solver

Haniel Barbosa, Clark Barrett, Martin Brain, Gereon Kremer, Hanna Lachnitt, Makai Mann, Abdalrhman Mohamed, Mudathir Mohamed, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Ying Sheng, Cesare Tinelli, Yoni Zohar

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

132 Scopus citations


Dive into the research topics of 'cvc5: A Versatile and Industrial-Strength SMT Solver'. Together they form a unique fingerprint.



Computer Science