PV4 cvc5produces a satisfiability result for a formula

Application domain/field

SMT solving

Type of tool

SMT solver

Expected input

SMT formula

Expected output

sat or unsat

Comments

Seems like there is no release yet (last release still seems to be a version of CVC4).
SMT

Links

Last commit date

26 May 2022

Related papers

Last publication date

2022

Related tools

From the same 'family' of tools: CVC, CVC Lite, CVC3, CVC4

ProVerB specific

View/edit source (Markdown)



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