[ buster ]
[ Source: z3 ]
Package: python-z3 (4.4.1-1~deb10u1)
Links for python-z3
Debian Resources:
Download Source Package z3:
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
Teoribeviser fra Microsoft Research - Pythonbindinger
Z3 er en moderne teoribeviser fra Microsoft Research. Se pakken z3 for en detaljeret beskrivelse.
Denne pakke kan bruges til at starte Z3 via dets Python API.
Other Packages Related to python-z3
|
|
|
|
Download python-z3
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 65.5 kB | 541.0 kB | [list of files] |