z3
Paket-Details
| Name | z3 |
|---|---|
| Version | 4.8.4-2 |
| Beschreibung | High-performance theorem prover |
| URL | https://github.com/Z3Prover/z3 |
| Lizenzen | MIT |
| Repositorium | community |
| Architektur | x86_64 |
| Gruppen | |
| Packer | Felix Yan |
| Erstellt am | 19.03.2019 18:07 |
| Veröffentlicht am | 19.03.2019 18:15 |
| Quelltext | Quelldateien, Änderungshistorie |
| Bugs | Bug-Tracker |
| Paket | z3-4.8.4-2-x86_64.pkg.tar.xz |
| PGP-Signatur | z3-4.8.4-2-x86_64.pkg.tar.xz .sig |
| Paket-Größe | 12,71 MByte |
| Installations-Größe | 42,02 MByte |