.. _spkg_kissat:

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:

.. CODE-BLOCK:: bash

    $ sudo yum install  kissat


gentoo:

.. CODE-BLOCK:: bash

    $ sudo emerge sci-mathematics/kissat


nix:

.. CODE-BLOCK:: bash

    $ 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 :issue:`27330`

