z3

Paket-Details

Name z3
Version 4.8.6-1
Beschreibung High-performance theorem prover
URL https://github.com/Z3Prover/z3
Lizenzen MIT
Repositorium community
Architektur x86_64
Gruppen
Packer Levente Polyak
Erstellt am 29.09.2019 21:23
Veröffentlicht am 29.09.2019 21:59
Quelltext Quelldateien, Änderungshistorie
Bugs Bug-Tracker
Paket z3-4.8.6-1-x86_64.pkg.tar.xz
PGP-Signatur z3-4.8.6-1-x86_64.pkg.tar.xz.sig
Paket-Größe 13,70 MByte
Installations-Größe 45,49 MByte

Abhängigkeiten

stellt bereit

benötigt von

Zum Bauen von

Dateien