PV4 SATensteinproduces a satisfiability result with a custom built solver

Application domain/field

SAT solving

Type of tool

SAT solver

Related papers

- SATenstein: Automatically building local search SAT solvers from components (Journal of AI, 2016)

Related tools

gNovelty and adaptG2WSAT in various combinations

ProVerB specific

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