[ buster ]
[ Kaynak: z3 ]
Paket: python-z3 (4.4.1-1~deb10u1)
python-z3 için bağlantılar
Debian Kaynakları:
- Hata Raporları
- Developer Information
- Debian Değişim Günlüğü
- Telif Hakkı Dosyası
- Debian Yama Takipçisi
z3 Kaynak Paketini İndir:
Geliştiriciler:
Dış Kaynaklar:
- Ana Sayfa [github.com]
Benzer paketler:
theorem prover from Microsoft Research - Python 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 API.
python-z3 ile İlgili Diğer Paketler
|
|
|
|
python-z3 indir
Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
---|---|---|---|
armhf | 65,5 kB | 541,0 kB | [dosya listesi] |