[ buster ]
[ Quellcode: z3 ]
Paket: python-z3 (4.4.1-1~deb10u1)
Links für python-z3
Debian-Ressourcen:
Quellcode-Paket z3 herunterladen:
Betreuer:
Externe Ressourcen:
- Homepage [github.com]
Ähnliche Pakete:
theorem prover from Microsoft Research - Python bindings
Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3 package for a detailed description.
This package can be used to invoke Z3 via its Python API.
Andere Pakete mit Bezug zu python-z3
|
|
|
|
python-z3 herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| amd64 | 65,5 kB | 541,0 kB | [Liste der Dateien] |
| arm64 | 65,5 kB | 541,0 kB | [Liste der Dateien] |
| armhf | 65,5 kB | 541,0 kB | [Liste der Dateien] |
| i386 | 65,4 kB | 541,0 kB | [Liste der Dateien] |