/academic/z3/

• ../
• README
• slack-desc
• z3.SlackBuild
• z3.info