PV4 Bitwuzlaproduces a satisfiability result for a formula

Application domain/field

SMT solving

Type of tool

SMT solver

Expected input

SMT formula
SMT

Links

Related papers

https://arxiv.org/abs/2006.01621 (Bitwuzla at the SMT-COMP 2020)

Related tools

successor of Boolector

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.