# Bitwuzla at the SMT-COMP 2020

arXiv: https://arxiv.org/abs/2006.01621 · HTML: https://mlsanity.com/paper/2006.01621/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 30 May 2020.

## Built on by (most cited first, 1 of 1)

- [Solving Hard Mizar Problems with Instantiation and Strategy Invention](https://mlsanity.com/paper/2406.17762/) (2024)

## 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.