Index of /slackware/sbo/local/15.0/academic/yices2/

../
README                                             27-Apr-2024 07:19                 653
slack-desc                                         27-Apr-2024 07:19                 872
yices2.SlackBuild                                  27-Apr-2024 07:19                3703
yices2.info                                        27-Apr-2024 07:19                 298