PV4 SATensteinproduces 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.