Bitwuzla

An SMT solver for bit-vectors, floating-points, arrays and uninterpreted functions.


People

Aina Niemetz (Stanford University)
Mathias Preiner (Stanford University)