Back to Search
python-z3-solver
Version 4.15.1-1.2 from cachyos-extra-v4 (x86_64_v4)
Description
High-performance theorem prover
Homepage
https://github.com/Z3Prover/z3
Source Files
View Source Files
Base Package
z3
License(s)
MIT
Build Date
Packager
CachyOS <admin@cachyos.org>
Package Size
268.84 KB
Installed Size
2.49 MB
Download Mirror
https://cdn77.cachyos.org/repo/x86_64_v4/cachyos-extra-v4/python-z3-solver-4.15.1-1.2-x86_64_v4.pkg.tar.zst
SHA256 Sum
0a43139d196990a4c1da20a9e3030b161c41868eb639648fdb03e22d170ba13a
Dependencies
pythonpython-setuptoolsz3
Optional Deps
N/A
Provides
N/A
Conflicts With
python-z3
Replaces
python-z3
Package Files
usr/
usr/lib/
usr/lib/python3.13/
usr/lib/python3.13/site-packages/
usr/lib/python3.13/site-packages/z3/
usr/lib/python3.13/site-packages/z3/__init__.py
usr/lib/python3.13/site-packages/z3/__pycache__/
usr/lib/python3.13/site-packages/z3/__pycache__/__init__.cpython-313.opt-1.pyc
usr/lib/python3.13/site-packages/z3/__pycache__/__init__.cpython-313.pyc
usr/lib/python3.13/site-packages/z3/__pycache__/z3.cpython-313.opt-1.pyc
usr/lib/python3.13/site-packages/z3/__pycache__/z3.cpython-313.pyc
usr/lib/python3.13/site-packages/z3/__pycache__/z3consts.cpython-313.opt-1.pyc
usr/lib/python3.13/site-packages/z3/__pycache__/z3consts.cpython-313.pyc
usr/lib/python3.13/site-packages/z3/__pycache__/z3core.cpython-313.opt-1.pyc
usr/lib/python3.13/site-packages/z3/__pycache__/z3core.cpython-313.pyc
usr/lib/python3.13/site-packages/z3/__pycache__/z3num.cpython-313.opt-1.pyc
usr/lib/python3.13/site-packages/z3/__pycache__/z3num.cpython-313.pyc
usr/lib/python3.13/site-packages/z3/__pycache__/z3poly.cpython-313.opt-1.pyc
usr/lib/python3.13/site-packages/z3/__pycache__/z3poly.cpython-313.pyc
usr/lib/python3.13/site-packages/z3/__pycache__/z3printer.cpython-313.opt-1.pyc
usr/lib/python3.13/site-packages/z3/__pycache__/z3printer.cpython-313.pyc
usr/lib/python3.13/site-packages/z3/__pycache__/z3rcf.cpython-313.opt-1.pyc
usr/lib/python3.13/site-packages/z3/__pycache__/z3rcf.cpython-313.pyc
usr/lib/python3.13/site-packages/z3/__pycache__/z3test.cpython-313.opt-1.pyc
usr/lib/python3.13/site-packages/z3/__pycache__/z3test.cpython-313.pyc
usr/lib/python3.13/site-packages/z3/__pycache__/z3types.cpython-313.opt-1.pyc
usr/lib/python3.13/site-packages/z3/__pycache__/z3types.cpython-313.pyc
usr/lib/python3.13/site-packages/z3/__pycache__/z3util.cpython-313.opt-1.pyc
usr/lib/python3.13/site-packages/z3/__pycache__/z3util.cpython-313.pyc
usr/lib/python3.13/site-packages/z3/z3.py
usr/lib/python3.13/site-packages/z3/z3consts.py
usr/lib/python3.13/site-packages/z3/z3core.py
usr/lib/python3.13/site-packages/z3/z3num.py
usr/lib/python3.13/site-packages/z3/z3poly.py
usr/lib/python3.13/site-packages/z3/z3printer.py
usr/lib/python3.13/site-packages/z3/z3rcf.py
usr/lib/python3.13/site-packages/z3/z3test.py
usr/lib/python3.13/site-packages/z3/z3types.py
usr/lib/python3.13/site-packages/z3/z3util.py
usr/share/
usr/share/licenses/
usr/share/licenses/python-z3-solver/
usr/share/licenses/python-z3-solver/LICENSE.txt