Package - python3-z3
Primary informations
Download package: http://deb.debian.org/debian/pool/main/z/z3/python3-z3_4.13.3-1_amd64.deb (Size: 81.5KiB)| Property | Value |
|---|---|
| Package | python3-z3 |
| Source | z3 |
| Version | 4.13.3-1 |
| Installed-Size | 637 |
| Maintainer | LLVM Packaging Team |
| Architecture | amd64 |
| Depends | libz3-dev (= 4.13.3-1), python3-pkg-resources, python3:any |
| Description | theorem prover from Microsoft Research - Python 3 bindings |
| Description-md5 | ff39c43b5aa03e0f4d3cb36b2cb98a3c |
| Homepage | https://github.com/Z3Prover/z3 |
| Section | python |
| Priority | optional |
| Filename | pool/main/z/z3/python3-z3_4.13.3-1_amd64.deb |
| Size | 83500 |
| MD5sum | 2e06ebfb6390c99f2302c72d711df2ee |
| SHA256 | 346582b4241a5536267d08b11ff44bf87eb503f0a2c99da5ec6a6322ca3bf637 |
Files in package
- /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/doc/python3-z3