Index of /sbo/15.0/academic/kissat/?C=S&O=A

 Name                    Last modified      Size  
 Parent Directory                             -   
 kissat.info             2024-04-20 15:22  354   
 README                  2024-04-20 15:22  734   
 slack-desc              2024-04-20 15:22  1.2K  
 kissat.SlackBuild       2024-04-20 15:22  3.2K