PV4 ⊧ Bitwuzlaproduces a satisfiability result for a formula

Links

• Repository: https://github.com/bitwuzla/bitwuzla
  • Last commit date: 07 Oct 2022 (default branch)
  • Last commit date: 03 Dec 2022 (last activity)
• Project page: https://bitwuzla.github.io/
• Documentation: https://bitwuzla.github.io/docs/index.html

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