Program
Verification
Book

PV4 ⊧ Vallstproduces a satisfiability result for a Boolean formula

a Boolean constraint solver for variables over {0,1}

Application domain/field

SAT solving

Type of tool

SAT solver

Links

- http://web.archive.org/web/20110901032624/http://vallst.satcompetition.org/index.html (original page inaccessible)

ProVerB specific

Markdown description: view/edit
Reason for this entry: used by SATzilla
Contained in the ProVerB22 dataset (paper + artefact)

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