Index of /salix/sbo/15.0/academic/kissat/

../
README                                             20-Apr-2024 14:22     734
kissat.SlackBuild                                  29-Aug-2026 00:33    3133
kissat.info                                        29-Aug-2026 00:33     314
slack-desc                                         20-Apr-2024 14:22    1210