Program
Verification
Book

PV4 ⊧ PicoSATproduces a satisfiability result for a formula

Application domain/field

SAT solving

Type of tool

SAT solver
Boolean Satisfiability problem

Expected input

SAT problem

Links

Project page: http://fmv.jku.at/picosat/

Related papers

Consistency Checking of All Different Constraints over Bit-Vectors within a SAT Solver (FMCAD '08)
PicoSAT Essentials (Journal on Satisfiability, Boolean Modeling and Computation '08)

Last publication date

2008

Related tools

zChaff, MiniSat

ProVerB specific

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

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