Bitwuzla at the SMT-COMP 2020
arXiv:2006.01621
Abstract
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.
System description for SMT-COMP 2020