Index of /pub/slackbuilds.org/slackbuilds/15.0/academic/yices2/

../
README                                             08-Aug-2026 02:23                 646
slack-desc                                         08-Aug-2026 02:23                 870
yices2.SlackBuild                                  08-Aug-2026 02:23                3988
yices2.info                                        08-Aug-2026 02:23                 298