Skip to content
Sections
>> Trisquel >> Paketler >> nabia >> python >> python3-z3
nabia  ] [  aramo  ]
[ Kaynak: z3  ]

Paket: python3-z3 (4.8.7-4build1)

python3-z3 için bağlantılar

python3-z3

Trisquel Kaynakları:

z3 Kaynak Paketini İndir:

Geliştirici:

Original Maintainers:

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
  • dep: libz3-dev (= 4.8.7-4build1)
    theorem prover from Microsoft Research - development files
  • 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 indir

Tüm mevcut mimariler için indir
Mimari Paket Boyutu Kurulu Boyut Dosyalar
amd64 74,8 kB581 kB [dosya listesi]
armhf 74,8 kB581 kB [dosya listesi]