At a Glance
| Applications | SAT Solver SMT Solver Theorem Prover |
| Developers | Stanford University |
| Inputs | SMTLIB2 |
| Interfaces | CLI |
| Licenses | MIT |
| Maintenance | Actively Maintained |
Description
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays, uninterpreted functions and their combinations.
Publications
- Bitwuzla (2023) by Aina Niemetz et. al. | Appears in CAV 2023 (3-17) | Published by Springer | 10.1007/978-3-031-37703-7_1