Program
Verification
Book

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

Application domain/field

SAT solving
Boolean Satisfiability problem

Type of tool

SAT solver

Expected input

SAT problem

Format:

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.

Links

Project page: http://fmv.jku.at/kissat/
Repository: https://github.com/arminbiere/kissat
- Last commit date: 07 Jul 2022 (default branch)
- Last commit date: 07 Jul 2022 (last activity)

Related papers

http://fmv.jku.at/papers/BiereFleuryHeisinger-SAT-Competition-2021-solvers.pdf (SAT Competition '21)
http://fmv.jku.at/papers/BiereFazekasFleuryHeisinger-SAT-Competition-2020-solvers.pdf (SAT Competition '20)
http://fmv.jku.at/papers/BiereFleury-POS20.pdf (POS '20)

Last publication date

2021

Related tools

ProVerB specific

Markdown description: view/edit

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