PV4 Kissat (sometimes stylized as KISSAT)produces a satisfiability result for a formula

Application domain/field

Type of tool

SAT solver

Expected input

SAT problem

Format:

DIMACS

Expected output

SATISFIABLE or UNSATISFIABLE indicating whether the SAT problem is unsatisfiable or not.

Comments

Kissat is an improved reimplementation of CaDiCaL. Kissat has an MIT license.
SAT

Links

Last commit date

28 October 2021

Related papers

Last publication date

2021

Related tools

ProVerB specific

View/edit source (Markdown)



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