Index of /slackbuilds/15.0/academic/z3

Icon  Name                        Last modified      Size  Description
[PARENTDIR] Parent Directory                                 -   
[   ] README                      2025-12-06 02:58  487   
[   ] slack-desc                  2022-03-10 23:34  1.0K  
[   ] z3.SlackBuild               2025-12-06 02:58  3.6K  
[   ] z3.info                     2025-12-06 02:58  300