wszystkie opcje
bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Pakiet źródłowy: z3  ]

Pakiet: python3-z3 (4.8.12-3.1 i inne)

Odnośniki dla python3-z3

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego z3:

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

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.

Inne pakiety związane z python3-z3

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie python3-z3

Pobierz dla wszystkich dostępnych architektur
Architektura Wersja Rozmiar pakietu Rozmiar po instalacji Pliki
alpha (port nieoficjalny) 4.8.12-3.1 76,5 KiB595,0 KiB [lista plików]
amd64 4.8.12-3.1+b2 76,5 KiB595,0 KiB [lista plików]
arm64 4.8.12-3.1+b2 76,5 KiB595,0 KiB [lista plików]
armel 4.8.12-3.1+b2 76,5 KiB595,0 KiB [lista plików]
armhf 4.8.12-3.1+b2 76,5 KiB595,0 KiB [lista plików]
hppa (port nieoficjalny) 4.8.12-3.1+b2 76,5 KiB595,0 KiB [lista plików]
i386 4.8.12-3.1+b2 76,5 KiB595,0 KiB [lista plików]
ia64 (port nieoficjalny) 4.8.12-3.1 76,5 KiB595,0 KiB [lista plików]
m68k (port nieoficjalny) 4.8.12-3.1+b2 76,5 KiB595,0 KiB [lista plików]
mips64el 4.8.12-3.1+b2 76,5 KiB595,0 KiB [lista plików]
ppc64 (port nieoficjalny) 4.8.12-3.1+b2 76,5 KiB595,0 KiB [lista plików]
ppc64el 4.8.12-3.1+b2 76,5 KiB595,0 KiB [lista plików]
riscv64 4.8.12-3.1+b2 76,5 KiB595,0 KiB [lista plików]
s390x 4.8.12-3.1+b2 76,5 KiB595,0 KiB [lista plików]
sparc64 (port nieoficjalny) 4.8.12-3.1+b2 76,5 KiB595,0 KiB [lista plików]
x32 (port nieoficjalny) 4.8.12-3.1+b2 76,5 KiB595,0 KiB [lista plików]