PV4 Bitwuzlaproduces a satisfiability result for a formula

Application domain/field

SMT solving

Type of tool

SMT solver

Expected input

SMT formula


Related papers

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

Related tools

successor of Boolector

ProVerB specific

Markdown description: view/edit

ProVerB is a part of SLEBoK. Last updated: February 2023.