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.0.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 trac ticket #27330