kissat: SAT solver#

Description#

From the package README:

KISSAT is a "keep it simple and clean bare metal SAT solver" written in C.
It is a port of CaDiCaL back to C with improved data structures, better
scheduling of inprocessing and optimized algorithms and implementation.

Coincidentally 'kissat' also means 'cats' in Finnish.

From the website:

The Kissat SAT solver is a condensed and improved reimplementation of
CaDiCaL in C.

Kissat won first place in the main track of the SAT Competition 2020 and
first place on unsatisfiable instances.

License#

MIT license.

Upstream Contact#

Website: http://fmv.jku.at/kissat/

Type#

optional

Dependencies#

Version Information#

package-version.txt:

3.1.0

Equivalent System Packages#

Fedora/Redhat/CentOS:

$ sudo yum install  kissat

gentoo:

$ sudo emerge sci-mathematics/kissat

nix:

$ nix-env --install kissat

See https://repology.org/project/kissat/versions

However, these system packages will not be used for building Sage because spkg-configure.m4 has not been written for this package; see github issue #27330