Program
Verification
Book

PV4 ⊧ gNoveltyproduces a satisfiability result for a CNF formula

Application domain/field

SAT solving

Type of tool

SAT solver

Comments

Some versions were called R+AdaptNovelty+, gNovelty+, gNovelty++, etc

Links

- http://www.satcompetition.org/2007/gNovelty+.pdf (gNovelty+)

Related tools

Novelty, one of the best SAT solvers in the 1990s

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.