tüm seçenekler
[  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Kaynak: z3  ]

Paket: python3-z3 (4.8.12-3.1 ve diğerleri)

python3-z3 için bağlantılar

Screenshot

Debian Kaynakları:

z3 Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Benzer paketler:

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.

python3-z3 ile İlgili Diğer Paketler

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • enhances

python3-z3 indir

Tüm mevcut mimariler için indir
Mimari Sürüm Paket Boyutu Kurulu Boyut Dosyalar
alpha (resmi olmayan port) 4.8.12-3.1 76,5 kB595,0 kB [dosya listesi]
amd64 4.8.12-3.1+b2 76,5 kB595,0 kB [dosya listesi]
arm64 4.8.12-3.1+b2 76,5 kB595,0 kB [dosya listesi]
armel 4.8.12-3.1+b2 76,5 kB595,0 kB [dosya listesi]
armhf 4.8.12-3.1+b2 76,5 kB595,0 kB [dosya listesi]
hppa (resmi olmayan port) 4.8.12-3.1 76,5 kB595,0 kB [dosya listesi]
i386 4.8.12-3.1+b2 76,5 kB595,0 kB [dosya listesi]
ia64 (resmi olmayan port) 4.8.12-3.1 76,5 kB595,0 kB [dosya listesi]
m68k (resmi olmayan port) 4.8.12-3.1 76,5 kB595,0 kB [dosya listesi]
mips64el 4.8.12-3.1+b2 76,5 kB595,0 kB [dosya listesi]
ppc64 (resmi olmayan port) 4.8.12-3.1 76,5 kB595,0 kB [dosya listesi]
ppc64el 4.8.12-3.1+b2 76,5 kB595,0 kB [dosya listesi]
riscv64 4.8.12-3.1+b2 76,5 kB595,0 kB [dosya listesi]
s390x 4.8.12-3.1+b2 76,5 kB595,0 kB [dosya listesi]
sparc64 (resmi olmayan port) 4.8.12-3.1 76,5 kB595,0 kB [dosya listesi]
x32 (resmi olmayan port) 4.8.12-3.1 76,5 kB595,0 kB [dosya listesi]