python-z3

Paket-Details

Name python-z3
Version 4.8.6-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 04.11.2019 08:31
Veröffentlicht am 14.11.2019 14:03
Quelltext Quelldateien, Änderungshistorie
Bugs Bug-Tracker
Paket python-z3-4.8.6-2-x86_64.pkg.tar.xz
PGP-Signatur python-z3-4.8.6-2-x86_64.pkg.tar.xz.sig
Paket-Größe 170,07 KByte
Installations-Größe 1,65 MByte

Abhängigkeiten

Dateien