Package Detail

sci-mathematics /

python3-z3 4.8.10 - 1

High-performance theorem prover
https://github.com/Z3Prover/z3
Architecture:
x86_64
Groups:
sci-mathematics
Disribution:
avh030
License:
MIT
Provides:
libz3 libz3.so
Conflicts:
Maintainers:
Qurban Ullah
Contributors:
Qurban Ullah
Installed Size:
1.7 MB
Date reated:
2022-06-18 02:39 PKT

External Resources

Dependancies (2)

Optional Dependancies (0)

Check Dependancies (0)

Required By (0)

Optional Required By (0)

Make Required By (0)

Check Required By (0)

Files (35)

  • /usr/lib/pkgconfig/z3.pc
  • /usr/lib/python3.10/site-packages/z3/__init__.py
  • /usr/lib/python3.10/site-packages/z3/z3.py
  • /usr/lib/python3.10/site-packages/z3/z3num.py
  • /usr/lib/python3.10/site-packages/z3/z3poly.py
  • /usr/lib/python3.10/site-packages/z3/z3printer.py
  • /usr/lib/python3.10/site-packages/z3/z3rcf.py
  • /usr/lib/python3.10/site-packages/z3/z3test.py
  • /usr/lib/python3.10/site-packages/z3/z3types.py
  • /usr/lib/python3.10/site-packages/z3/z3util.py
  • /usr/lib/python3.10/site-packages/z3/z3core.py
  • /usr/lib/python3.10/site-packages/z3/z3consts.py
  • /usr/lib/python3.10/site-packages/z3/__pycache__/__init__.cpython-310.pyc
  • /usr/lib/python3.10/site-packages/z3/__pycache__/z3.cpython-310.pyc
  • /usr/lib/python3.10/site-packages/z3/__pycache__/z3consts.cpython-310.pyc
  • /usr/lib/python3.10/site-packages/z3/__pycache__/z3core.cpython-310.pyc
  • /usr/lib/python3.10/site-packages/z3/__pycache__/z3num.cpython-310.pyc
  • /usr/lib/python3.10/site-packages/z3/__pycache__/z3poly.cpython-310.pyc
  • /usr/lib/python3.10/site-packages/z3/__pycache__/z3printer.cpython-310.pyc
  • /usr/lib/python3.10/site-packages/z3/__pycache__/z3rcf.cpython-310.pyc
  • /usr/lib/python3.10/site-packages/z3/__pycache__/z3test.cpython-310.pyc
  • /usr/lib/python3.10/site-packages/z3/__pycache__/z3types.cpython-310.pyc
  • /usr/lib/python3.10/site-packages/z3/__pycache__/z3util.cpython-310.pyc
  • /usr/lib/python3.10/site-packages/z3/__pycache__/__init__.cpython-310.opt-1.pyc
  • /usr/lib/python3.10/site-packages/z3/__pycache__/z3.cpython-310.opt-1.pyc
  • /usr/lib/python3.10/site-packages/z3/__pycache__/z3consts.cpython-310.opt-1.pyc
  • /usr/lib/python3.10/site-packages/z3/__pycache__/z3core.cpython-310.opt-1.pyc
  • /usr/lib/python3.10/site-packages/z3/__pycache__/z3num.cpython-310.opt-1.pyc
  • /usr/lib/python3.10/site-packages/z3/__pycache__/z3poly.cpython-310.opt-1.pyc
  • /usr/lib/python3.10/site-packages/z3/__pycache__/z3printer.cpython-310.opt-1.pyc
  • /usr/lib/python3.10/site-packages/z3/__pycache__/z3rcf.cpython-310.opt-1.pyc
  • /usr/lib/python3.10/site-packages/z3/__pycache__/z3test.cpython-310.opt-1.pyc
  • /usr/lib/python3.10/site-packages/z3/__pycache__/z3types.cpython-310.opt-1.pyc
  • /usr/lib/python3.10/site-packages/z3/__pycache__/z3util.cpython-310.opt-1.pyc
  • /usr/share/avouch/pkginfo/python3-z3.xml