作者
Haniel Barbosa, Clark Barrett, Martin Brain, Gereon Kremer, Hanna Lachnitt, Abdalrhman Mohamed, Mudathir Mohamed, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Ying Sheng, Cesare Tinelli, Yoni Zohar
发表日期
2022
简介
This paper is a description of the CVC5 SMT solver as entered into the 2022 SMT Competition. Here, we briefly summarize the main techniques implemented by CVC5 that are relevant. For more comprehensive information please refer to the tool paper about CVC5 [15], our website [7], and the source code on GitHub [6].
学术搜索中的文章
H Barbosa, C Barrett, M Brain, G Kremer, H Lachnitt… - 2022