Bitwuzla at the SMT-COMP 2020

05/30/2020
by   Aina Niemetz, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset