Bitwuzla at the SMT-COMP 2020
Logic in Computer Science
2020-06-03 v1
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.
Cite
@article{arxiv.2006.01621,
title = {Bitwuzla at the SMT-COMP 2020},
author = {Aina Niemetz and Mathias Preiner},
journal= {arXiv preprint arXiv:2006.01621},
year = {2020}
}
Comments
System description for SMT-COMP 2020