PV4 MiniSatproduces a satisfiability result for a formula

SAT solver

Application domain/field

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
SAT

Links

Related papers

Last publication date

2005

Related tools

MiniSat+: Extension of MiniSat so it could participate in new categories of the SAT competition

ProVerB specific



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