[ Bron: z3 ]
Pakket: python3-z3 (4.8.12-3.1 en anderen)
Verwijzigingen voor python3-z3
Debian bronnen:
Het bronpakket z3 downloaden:
Beheerders:
Externe bronnen:
- Homepage [github.com]
Vergelijkbare pakketten:
theorem prover from Microsoft Research - Python 3 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 3 API.
Andere aan python3-z3 gerelateerde pakketten
|
|
|
|
-
- dep: libz3-dev (= 4.8.12-3.1) [ia64]
- theorem prover from Microsoft Research - development files
- dep: libz3-dev (= 4.8.12-3.1+b2) [niet ia64]
-
- dep: python3
- interactive high-level object-oriented language (default python3 version)
-
- dep: python3-pkg-resources
- Package Discovery and Resource Access using pkg_resources
python3-z3 downloaden
Platform | Versie | Pakketgrootte | Geïnstalleerde grootte | Bestanden |
---|---|---|---|---|
alpha (unofficial port) | 4.8.12-3.1+b2 | 76,5 kB | 595,0 kB | [overzicht] |
amd64 | 4.8.12-3.1+b2 | 76,5 kB | 595,0 kB | [overzicht] |
arm64 | 4.8.12-3.1+b2 | 76,5 kB | 595,0 kB | [overzicht] |
armel | 4.8.12-3.1+b2 | 76,5 kB | 595,0 kB | [overzicht] |
armhf | 4.8.12-3.1+b2 | 76,5 kB | 595,0 kB | [overzicht] |
hppa (unofficial port) | 4.8.12-3.1+b2 | 76,5 kB | 595,0 kB | [overzicht] |
i386 | 4.8.12-3.1+b2 | 76,5 kB | 595,0 kB | [overzicht] |
ia64 (unofficial port) | 4.8.12-3.1 | 76,5 kB | 595,0 kB | [overzicht] |
m68k (unofficial port) | 4.8.12-3.1+b2 | 76,5 kB | 595,0 kB | [overzicht] |
mips64el | 4.8.12-3.1+b2 | 76,5 kB | 595,0 kB | [overzicht] |
ppc64 (unofficial port) | 4.8.12-3.1+b2 | 76,5 kB | 595,0 kB | [overzicht] |
ppc64el | 4.8.12-3.1+b2 | 76,5 kB | 595,0 kB | [overzicht] |
riscv64 | 4.8.12-3.1+b2 | 76,5 kB | 595,0 kB | [overzicht] |
s390x | 4.8.12-3.1+b2 | 76,5 kB | 595,0 kB | [overzicht] |
sparc64 (unofficial port) | 4.8.12-3.1+b2 | 76,5 kB | 595,0 kB | [overzicht] |
x32 (unofficial port) | 4.8.12-3.1+b2 | 76,5 kB | 595,0 kB | [overzicht] |