PV4 ⊧ MiniSatproduces a satisfiability result for a formula

SAT solver

Application domain/field

• SAT solving
• Boolean satisfiability

Type of tool

SAT solver

Expected input

SAT problem

Format:

DIMACS

Expected output

SATISFIABLE, UNSATISFIABLE or INDETERMINATE indicating whether the SAT problem is satisfiable, unsatisfiable or it could not be determined.

Internals

MiniSAT has been implemented to be a minimalistic implementation of a Chaff-like SAT solver.

Comments

License: MIT License