PV4 Glucoseproduces a satisfiability result for a formula in CNF

Application domain/field

SAT solving

Type of tool

SAT solver

Expected input

CNF file

Format:

DIMACS format

Expected output

UNSAT or SAT. In case the output is SAT, you can also print the solution.

Internals

Heavily based on MiniSat
SAT

Links

Project page: https://www.labri.fr/perso/lsimon/glucose/

Last commit date

2016

Related papers

Last publication date

2014

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.