z3

Paket-Details

Name z3
Version 4.8.4-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 21.12.2018 19:32
Veröffentlicht am 21.12.2018 20:41
Quelltext Quelldateien, Änderungshistorie
Bugs Bug-Tracker
Paket z3-4.8.4-1-x86_64.pkg.tar.xz
PGP-Signatur z3-4.8.4-1-x86_64.pkg.tar.xz .sig
Paket-Größe 12,71 MByte
Installations-Größe 42,02 MByte

Abhängigkeiten

optional von

stellt bereit

  • libz3
  • libz3

benötigt von

Dateien