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.
You can get more information about Kissat in the last solver
description for the SAT Competition 2022:
Armin Biere and Mathias Fleury. Gimsatul, IsaSAT and Kissat entering
the SAT Competition 2022. In Proc. of SAT Competition 2022 - Solver
and Benchmark Descriptions, Tomas Balyo, Marijn Heule, Markus Iser,
Matti Järvisalo, Martin Suda (editors), vol. B-2022-1 of Department
of Computer Science Report Series B, pages 10-11, University of
Helsinki, 2022.
Maintained by: Caterino Tommaso, T.O.P.
Keywords: SAT,satisfiability,sat solver,verification,cryptography,cnf
ChangeLog: kissat
Homepage:
https://github.com/arminbiere/kissat
Download SlackBuild:
kissat.tar.gz
kissat.tar.gz.asc (FAQ)
(the SlackBuild does not include the source)
Individual Files: |
README |
kissat.SlackBuild |
kissat.info |
slack-desc |
© 2006-2024 SlackBuilds.org Project. All rights reserved.
Slackware® is a registered trademark of
Patrick Volkerding
Linux® is a registered trademark of
Linus Torvalds