diff options
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. |