# Q3B | Formal Methods Tools
[ Not Maintained Since 2023 ] Q3B is an SMT solver for the quantified bit-vector formulas which uses BDDs.
Keywords: Formal Methods Tools

# Q3B

SMT Solver

- Source Code

## At a Glance

Applications | SMT Solver
Developers | Masaryk University
Inputs | SMTLIB2
Interfaces | CLI
Licenses | MIT
Maintenance | Not Maintained

## Description

[ Not Maintained Since 2023 ]
Q3B is an SMT solver for the quantified bit-vector formulas which uses BDDs.

## Publications

- Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams (2016) by Jonáš, Martin et. al. | Appears in SAT 2016 (267-283) | Published by Springer | 10.1007/978-3-319-40970-2_17