Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays
Abstract elided by the publisher.
Related papers
- Btor2 , BtorMC and Boolector 3.0 CAV 2018
- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver CAV 2021
- Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic CAV 2009
- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors CAV 2019
- Bitwuzla CAV 2023
- Matching Multiplications in Bit-Vector Formulas VMCAI 2017
- Validating SMT Solvers for Correctness and Performance via Grammar-Based Enumeration OOPSLA 2024
- Scalable Bit-Blasting with Abstractions CAV 2024