Skip to content

Latest commit

 

History

History
45 lines (32 loc) · 1.05 KB

PicoSAT.md

File metadata and controls

45 lines (32 loc) · 1.05 KB
Raw

Name:

PicoSAT

Application domain/field:

SAT solving

Type of tool (e.g. model checker, test generator):

SAT solver Boolean Satisfiability problem

Expected input thing:

SAT problem

Expected input format:

?

Expected output:

?

Internals (tools used, frameworks, techniques, paradigms, ...):

Comments:

URIs (github, websites, etc.):

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

Last commit date:

Last publication date:

2008

List of 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)

Related tools (tools mentioned or compared to in the paper):

zChaff, MiniSat

Meta

:: SAT :: PV4 :: produces a satisfiability result for a formula :: Source :: used by [[SATzilla]] :: https://doi.org/10.1145/3550355.3552426