Program
Verification
Book
Homepage
All tools
PV0
PV1
PV2
PV3
PV4
PV5
PV6
Frameworks
Tags
Specification formats
About
PV4
⊧
gNovelty
produces 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
SAT
Links
-
http://www.satcompetition.org/2007/gNovelty+.pdf
(gNovelty+)
Related tools
Novelty, one of the best SAT solvers in the 1990s
ProVerB specific
View/edit source
(Markdown)
ProVerB
is a part of
SLEBoK
. Last updated:
July 2022
.