Program
Verification
Book
Homepage
All tools
PV0
PV1
PV2
PV3
PV4
PV5
PV6
Frameworks
Tags
Specification formats
About
PV4
⊧
SATenstein
produces a satisfiability result with a custom built solver
Application domain/field
SAT solving
Type of tool
SAT solver
SAT
Related papers
-
https://doi.org/10.1016/j.artint.2015.11.002
(Journal of AI, 2016)
Related tools
gNovelty
and
adaptG2WSAT
in various combinations
ProVerB specific
View/edit source
(Markdown)
ProVerB
is a part of
SLEBoK
. Last updated:
July 2022
.