PV4 CVC4produces a satisfiability result for a formula

Application domain/field

SMT solving

Type of tool

SMT solver

Expected input

SMT formula

Format:

One of the following:

Expected output

sat or unsat which indicates whether the SMT formula was satisfiable or not.

Comments

CVC4 is now succeeded by cvc5.
SMT

Links

Last commit date

6 May 2021

Related papers

Last publication date

12 July 2019

Related tools

ProVerB specific

View/edit source (Markdown)



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