![[NLUUG]](/.ignore_logo.webp){kind=logo}
The large public mirror server for open source projects hosted by NLUUG and Surfnet
/pub/os/Linux/distr/salix/i486/extra-15.0/source/academic/z3/| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| ./ | - | 2022-Jun-10 17:26 |
| ../ | - | 2022-Jun-04 21:20 |
| z3-z3-4.8.12.tar.gz | 4.6 MiB | 2022-Jun-04 15:02 |
| slack-desc | 1009 B | 2022-Jun-04 15:02 |
| z3.info | 300 B | 2022-Jun-04 15:02 |
| README | 403 B | 2022-Jun-04 15:02 |
| z3.SlackBuild | 3.7 KiB | 2022-Mar-26 02:02 |
NLUUG - Open Systems. Open Standards
Become a member
and get discounts on conferences and more, see the NLUUG website!