python3-z3 (4.13.3-1+b1)

2 versions available in kali/kali-last-snapshot/main/i386

Details

Core information at a glance

Distribution
kali
Origin
kali-last-snapshot
Repository
https://http.kali.org/kali
Codename
kali-last-snapshot
Component
main
Source
z3 (4.13.3-1)
Architecture
i386
Section
python
Priority
optional
Maintainer
LLVM Packaging Team <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
637 B
Size expected
83.5 kB
Size actual
83.5 kB
Size match

Dependencies

Required package dependencies

  • libz3-dev (= 4.13.3-1+b1)
  • python3-pkg-resources
  • python3:any

Suggested packages

Recommended additional packages

  • None

Description

theorem prover from Microsoft Research - Python 3 bindings

Homepage Download .deb

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD5ff113421…d13af282
SHA-1c718947c…5ef18640
SHA-2563a524723…35d2be95
SHA-512230c6c18…538b5019

Contents

Files and directories included

.
usr
usr/lib
usr/lib/python3
usr/lib/python3/dist-packages
usr/lib/python3/dist-packages/z3
usr/lib/python3/dist-packages/z3/__init__.py
usr/lib/python3/dist-packages/z3/z3.py
usr/lib/python3/dist-packages/z3/z3consts.py
usr/lib/python3/dist-packages/z3/z3core.py
usr/lib/python3/dist-packages/z3/z3num.py
usr/lib/python3/dist-packages/z3/z3poly.py
usr/lib/python3/dist-packages/z3/z3printer.py
usr/lib/python3/dist-packages/z3/z3rcf.py
usr/lib/python3/dist-packages/z3/z3test.py
usr/lib/python3/dist-packages/z3/z3types.py
usr/lib/python3/dist-packages/z3/z3util.py
usr/share
usr/share/doc
usr/share/doc/python3-z3