论文标题
Bitwuzla在SMT-COMP 2020
Bitwuzla at the SMT-COMP 2020
论文作者
论文摘要
在本文中，我们介绍了Bitwuzla，这是对位矢量，浮点，阵列和未解释的功能及其组合的理论的满意度模型理论（SMT）求解器。我们讨论选定的功能，并提供其配置和参与2020年年度SMT竞赛的详细信息。
In this paper, we present Bitwuzla, our Satisfiability Modulo Theories (SMT) solver for the theories of bit-vectors, floating-points, arrays and uninterpreted functions and their combinations. We discuss selected features and provide details of its configuration and participation in the 2020 edition of the annual SMT competition.
