Bitwuzla at the SMT-COMP 2020
Not on the map. Why?
Abstract (arXiv)
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.
Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). First posted on arXiv 30 May 2020.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2024: 1.
1 paper.