python-z3-solver
Paket-Details
| Name | python-z3-solver |
|---|---|
| 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 | python-z3-solver-4.16.0-1-x86_64.pkg.tar.zst |
| PGP-Signatur | python-z3-solver-4.16.0-1-x86_64.pkg.tar.zst.sig |
| Paket-Größe | 276.7 KiB |
| Installations-Größe | 2.6 MiB |
| Beliebtheit |
Abhängigkeiten
Benötigt
Ersetzt
Konflikte
Build-Abhängigkeiten
cmakegitglibcjdk-openjdklibgcclibstdc++ninjapythonpython-buildpython-installerpython-setuptoolspython-wheel