[ etiona ]
[ Zdroj: z3 ]
Balík: python-z3 (4.4.1-0.3build4)
Odkazy pre python-z3
Zdroje Trisquel:
Stiahnuť zdrojový balík z3:
Správca:
Original Maintainer:
- Michael Tautschnig
Externé zdroje:
- Domovská stránka [github.com]
Podobné balíky:
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.
Ostatné balíky súvisiace s balíkom python-z3
|
|
|
Stiahnuť python-z3
| Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
|---|---|---|---|
| amd64 | 65.5 kB | 541 kB | [zoznam súborov] |
| i386 | 65.5 kB | 541 kB | [zoznam súborov] |