diff options
author | alan_NaverOsa@lavSaPbiAtM.com <alan_NaverOsa@lavSaPbiAtM.com> | 2024-04-14 10:59:06 +0700 |
---|---|---|
committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2024-04-14 12:05:18 +0700 |
commit | df4e060a184822c8b1c25f34c1f0ce2676f7453b (patch) | |
tree | 16edb9f013bf963655aeec0403a51c294aa42adb /academic/kissat/README | |
parent | 5118f7868b5d7c3bd3bdf22249912be8c630e995 (diff) | |
download | slackbuilds-df4e060a184822c8b1c25f34c1f0ce2676f7453b.tar.gz slackbuilds-df4e060a184822c8b1c25f34c1f0ce2676f7453b.tar.xz |
academic/kissat: Added (SAT solver).
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic/kissat/README')
-rw-r--r-- | academic/kissat/README | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/academic/kissat/README b/academic/kissat/README new file mode 100644 index 0000000000..27b8882eb3 --- /dev/null +++ b/academic/kissat/README @@ -0,0 +1,16 @@ +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. |