Bitwuzla
An SMT solver for bit-vectors, floating-points, arrays and uninterpreted functions.
| Downloads | Documentation | Publications | Awards | People |
People
Aina Niemetz (Stanford University)
Mathias Preiner (Stanford University)
An SMT solver for bit-vectors, floating-points, arrays and uninterpreted functions.
| Downloads | Documentation | Publications | Awards | People |
Aina Niemetz (Stanford University)
Mathias Preiner (Stanford University)