PV4 ⊧ SATensteinproduces a satisfiability result with a custom built 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

• Markdown description: view/edit
• Reason for this entry: used by SATzilla
• Contained in the ProVerB22 dataset (paper + artefact)