Program
Verification
Book

PV4 ⊧ MiniSat+produces a satisfiability result for a formula

Extension of MiniSat which adds support for Pseudo-Boolean constraints.

ProVerB specific

Markdown description: view/edit
Reason for this entry: extension of MiniSat
Contained in the ProVerB22 dataset (paper + artefact)

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