z3-java

Paket-Details

Name	z3-java
Version	4.16.0-1
Beschreibung	High-performance theorem prover
URL	https://github.com/Z3Prover/z3
Lizenzen	MIT
Repositorium	extra
Architektur	x86_64
Packer	Levente Polyak
Erstellt am	28.03.2026
Quelltext	Quelldateien, Änderungshistorie
Bugs	Issue-Tracker
Paket	z3-java-4.16.0-1-x86_64.pkg.tar.zst
PGP-Signatur	z3-java-4.16.0-1-x86_64.pkg.tar.zst.sig
Paket-Größe	222.5 KiB
Installations-Größe	412.2 KiB
Beliebtheit