z3
Paket-Details
Name | z3 |
---|---|
Version | 4.8.7-1 |
Beschreibung | High-performance theorem prover |
URL | https://github.com/Z3Prover/z3 |
Lizenzen | MIT |
Repositorium | community |
Architektur | x86_64 |
Gruppen | |
Packer | Felix Yan |
Erstellt am | 22.11.2019 16:25 |
Veröffentlicht am | 22.11.2019 16:52 |
Quelltext | Quelldateien, Änderungshistorie |
Bugs | Bug-Tracker |
Paket | z3-4.8.7-1-x86_64.pkg.tar.xz |
PGP-Signatur | z3-4.8.7-1-x86_64.pkg.tar.xz.sig |
Paket-Größe | 9,94 MByte |
Installations-Größe | 29,73 MByte |