all options
[  buster  ]
[ Source: z3  ]

Package: python-z3 (4.4.1-1~deb10u1)

Links for python-z3

Screenshot

Debian Resources:

Download Source Package z3:

Maintainers:

External Resources:

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

  • depends
  • recommends
  • suggests
  • enhances

Download python-z3

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 65.5 kB541.0 kB [list of files]
arm64 65.5 kB541.0 kB [list of files]
armhf 65.5 kB541.0 kB [list of files]
i386 65.4 kB541.0 kB [list of files]