[ Source: z3 ]
Package: python3-z3 (4.8.12-3.1 and others)
Links for python3-z3
Debian Resources:
Download Source Package z3:
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
dimostratore di teoremi di Microsoft Research - collegamenti Python 3
Z3 è un dimostratore di teoremi all'avanguardia di Microsoft Research. Per una descrizione dettagliata vedere il pacchetto z3.
Questo pacchetto può essere utilizzato per invocare Z3 attraverso la sua API Python 3.
Other Packages Related to python3-z3
|
|
|
|
-
- dep: libz3-dev (= 4.8.12-3.1) [alpha, ia64]
- dimostratore di teoremi di Microsoft Research - file di sviluppo
- dep: libz3-dev (= 4.8.12-3.1+b2) [not alpha, ia64]
-
- dep: python3
- linguaggio interattivo di alto livello orientato agli oggetti (versione python3 predefinita)
-
- dep: python3-pkg-resources
- rilevazione di pacchetti e accesso a risorse usando pkg_resources
Download python3-z3
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha (unofficial port) | 4.8.12-3.1 | 76.5 kB | 595.0 kB | [list of files] |
| amd64 | 4.8.12-3.1+b2 | 76.5 kB | 595.0 kB | [list of files] |
| arm64 | 4.8.12-3.1+b2 | 76.5 kB | 595.0 kB | [list of files] |
| armel | 4.8.12-3.1+b2 | 76.5 kB | 595.0 kB | [list of files] |
| armhf | 4.8.12-3.1+b2 | 76.5 kB | 595.0 kB | [list of files] |
| hppa (unofficial port) | 4.8.12-3.1+b2 | 76.5 kB | 595.0 kB | [list of files] |
| i386 | 4.8.12-3.1+b2 | 76.5 kB | 595.0 kB | [list of files] |
| ia64 (unofficial port) | 4.8.12-3.1 | 76.5 kB | 595.0 kB | [list of files] |
| m68k (unofficial port) | 4.8.12-3.1+b2 | 76.5 kB | 595.0 kB | [list of files] |
| mips64el | 4.8.12-3.1+b2 | 76.5 kB | 595.0 kB | [list of files] |
| ppc64 (unofficial port) | 4.8.12-3.1+b2 | 76.5 kB | 595.0 kB | [list of files] |
| ppc64el | 4.8.12-3.1+b2 | 76.5 kB | 595.0 kB | [list of files] |
| riscv64 | 4.8.12-3.1+b2 | 76.5 kB | 595.0 kB | [list of files] |
| s390x | 4.8.12-3.1+b2 | 76.5 kB | 595.0 kB | [list of files] |
| sparc64 (unofficial port) | 4.8.12-3.1+b2 | 76.5 kB | 595.0 kB | [list of files] |
| x32 (unofficial port) | 4.8.12-3.1+b2 | 76.5 kB | 595.0 kB | [list of files] |