Index of /slackware/sbo/local/current/academic/z3/

../
README                                             20-Jul-2024 04:01                 403
slack-desc                                         20-Jul-2024 04:01                1009
z3.SlackBuild                                      20-Jul-2024 04:01                3733
z3.info                                            20-Jul-2024 04:01                 300