Repository: amd64/stable
Package time:
Size: 18985856
SHA256: 09b07cec80ed6b385610a020a98bdb652a45964605aca43b6cb90fed5f6db9ba
Installed Size: 42.3 MiB
Maintainer: AOSC OS Maintainers <maintainers@aosc.io>
Library depends: ld-linux-x86-64.so.2, libc.so.6, libgcc_s.so.1, libm.so.6, libstdc++.so.6
Library provides: libz3.so.5.0, libz3.so.5.0.0.0
Files:
- -rwxr-xr-x root(0) root(0) 0 /usr
- -rwxr-xr-x root(0) root(0) 0
- -rwxr-xr-x root(0) root(0) 0 /usr/bin
- -rwxr-xr-x root(0) root(0) 0 /usr/include
- -rwxr-xr-x root(0) root(0) 0 /usr/lib
- -rwxr-xr-x root(0) root(0) 0 /usr/share
- -rwxr-xr-x root(0) root(0) 20M /usr/bin/z3
- -rw-r--r-- root(0) root(0) 7.0K /usr/include/z3_algebraic.h
- -rw-r--r-- root(0) root(0) 271K /usr/include/z3_api.h
- -rw-r--r-- root(0) root(0) 5.6K /usr/include/z3_ast_containers.h
- -rw-r--r-- root(0) root(0) 14K /usr/include/z3_fixedpoint.h
- -rw-r--r-- root(0) root(0) 43K /usr/include/z3_fpa.h
- -rw-r--r-- root(0) root(0) 495 /usr/include/z3.h
- -rw-r--r-- root(0) root(0) 211K /usr/include/z3++.h
- -rw-r--r-- root(0) root(0) 389 /usr/include/z3_macros.h
- -rw-r--r-- root(0) root(0) 13K /usr/include/z3_optimization.h
- -rw-r--r-- root(0) root(0) 1.0K /usr/include/z3_polynomial.h
- -rw-r--r-- root(0) root(0) 9.7K /usr/include/z3_rcf.h
- -rw-r--r-- root(0) root(0) 4.4K /usr/include/z3_spacer.h
- -rw-r--r-- root(0) root(0) 2.2K /usr/include/z3_v1.h
- -rw-r--r-- root(0) root(0) 210 /usr/include/z3_version.h
- -rwxr-xr-x root(0) root(0) 0 /usr/lib/cmake
- -rwxrwxrwx root(0) root(0) 0 /usr/lib/libz3.so
- -rwxrwxrwx root(0) root(0) 0 /usr/lib/libz3.so.5.0
- -rwxr-xr-x root(0) root(0) 19M /usr/lib/libz3.so.5.0.0.0
- -rwxr-xr-x root(0) root(0) 0 /usr/lib/pkgconfig
- -rwxr-xr-x root(0) root(0) 0 /usr/lib/python3.14
- -rwxr-xr-x root(0) root(0) 0 /usr/lib/cmake/z3
- -rw-r--r-- root(0) root(0) 2.6K /usr/lib/cmake/z3/Z3Config.cmake
- -rw-r--r-- root(0) root(0) 2.7K /usr/lib/cmake/z3/Z3ConfigVersion.cmake
- -rw-r--r-- root(0) root(0) 4.3K /usr/lib/cmake/z3/Z3Targets.cmake
- -rw-r--r-- root(0) root(0) 854 /usr/lib/cmake/z3/Z3Targets-relwithdebinfo.cmake
- -rw-r--r-- root(0) root(0) 254 /usr/lib/pkgconfig/z3.pc
- -rwxr-xr-x root(0) root(0) 0 /usr/lib/python3.14/site-packages
- -rwxr-xr-x root(0) root(0) 0 /usr/lib/python3.14/site-packages/z3
- -rw-r--r-- root(0) root(0) 232 /usr/lib/python3.14/site-packages/z3/__init__.py
- -rwxr-xr-x root(0) root(0) 0 /usr/lib/python3.14/site-packages/z3/__pycache__
- -rw-r--r-- root(0) root(0) 8.2K /usr/lib/python3.14/site-packages/z3/z3consts.py
- -rw-r--r-- root(0) root(0) 203K /usr/lib/python3.14/site-packages/z3/z3core.py
- -rw-r--r-- root(0) root(0) 16K /usr/lib/python3.14/site-packages/z3/z3num.py
- -rw-r--r-- root(0) root(0) 1.1K /usr/lib/python3.14/site-packages/z3/z3poly.py
- -rw-r--r-- root(0) root(0) 45K /usr/lib/python3.14/site-packages/z3/z3printer.py
- -rw-r--r-- root(0) root(0) 358K /usr/lib/python3.14/site-packages/z3/z3.py
- -rw-r--r-- root(0) root(0) 4.9K /usr/lib/python3.14/site-packages/z3/z3rcf.py
- -rw-r--r-- root(0) root(0) 4.9K /usr/lib/python3.14/site-packages/z3/z3regex.py
- -rw-r--r-- root(0) root(0) 540 /usr/lib/python3.14/site-packages/z3/z3test.py
- -rw-r--r-- root(0) root(0) 4.8K /usr/lib/python3.14/site-packages/z3/z3types.py
- -rw-r--r-- root(0) root(0) 11K /usr/lib/python3.14/site-packages/z3/z3util.py
- -rw-r--r-- root(0) root(0) 495 /usr/lib/python3.14/site-packages/z3/__pycache__/__init__.cpython-314.opt-1.pyc
- -rw-r--r-- root(0) root(0) 495 /usr/lib/python3.14/site-packages/z3/__pycache__/__init__.cpython-314.pyc
- -rw-r--r-- root(0) root(0) 11K /usr/lib/python3.14/site-packages/z3/__pycache__/z3consts.cpython-314.opt-1.pyc
- -rw-r--r-- root(0) root(0) 11K /usr/lib/python3.14/site-packages/z3/__pycache__/z3consts.cpython-314.pyc
- -rw-r--r-- root(0) root(0) 320K /usr/lib/python3.14/site-packages/z3/__pycache__/z3core.cpython-314.opt-1.pyc
- -rw-r--r-- root(0) root(0) 320K /usr/lib/python3.14/site-packages/z3/__pycache__/z3core.cpython-314.pyc
- -rw-r--r-- root(0) root(0) 540K /usr/lib/python3.14/site-packages/z3/__pycache__/z3.cpython-314.opt-1.pyc
- -rw-r--r-- root(0) root(0) 541K /usr/lib/python3.14/site-packages/z3/__pycache__/z3.cpython-314.pyc
- -rw-r--r-- root(0) root(0) 22K /usr/lib/python3.14/site-packages/z3/__pycache__/z3num.cpython-314.opt-1.pyc
- -rw-r--r-- root(0) root(0) 22K /usr/lib/python3.14/site-packages/z3/__pycache__/z3num.cpython-314.pyc
- -rw-r--r-- root(0) root(0) 1.4K /usr/lib/python3.14/site-packages/z3/__pycache__/z3poly.cpython-314.opt-1.pyc
- -rw-r--r-- root(0) root(0) 1.4K /usr/lib/python3.14/site-packages/z3/__pycache__/z3poly.cpython-314.pyc
- -rw-r--r-- root(0) root(0) 79K /usr/lib/python3.14/site-packages/z3/__pycache__/z3printer.cpython-314.opt-1.pyc
- -rw-r--r-- root(0) root(0) 80K /usr/lib/python3.14/site-packages/z3/__pycache__/z3printer.cpython-314.pyc
- -rw-r--r-- root(0) root(0) 10K /usr/lib/python3.14/site-packages/z3/__pycache__/z3rcf.cpython-314.opt-1.pyc
- -rw-r--r-- root(0) root(0) 10K /usr/lib/python3.14/site-packages/z3/__pycache__/z3rcf.cpython-314.pyc
- -rw-r--r-- root(0) root(0) 7.6K /usr/lib/python3.14/site-packages/z3/__pycache__/z3regex.cpython-314.opt-1.pyc
- -rw-r--r-- root(0) root(0) 7.6K /usr/lib/python3.14/site-packages/z3/__pycache__/z3regex.cpython-314.pyc
- -rw-r--r-- root(0) root(0) 1012 /usr/lib/python3.14/site-packages/z3/__pycache__/z3test.cpython-314.opt-1.pyc
- -rw-r--r-- root(0) root(0) 1012 /usr/lib/python3.14/site-packages/z3/__pycache__/z3test.cpython-314.pyc
- -rw-r--r-- root(0) root(0) 14K /usr/lib/python3.14/site-packages/z3/__pycache__/z3types.cpython-314.opt-1.pyc
- -rw-r--r-- root(0) root(0) 14K /usr/lib/python3.14/site-packages/z3/__pycache__/z3types.cpython-314.pyc
- -rw-r--r-- root(0) root(0) 14K /usr/lib/python3.14/site-packages/z3/__pycache__/z3util.cpython-314.opt-1.pyc
- -rw-r--r-- root(0) root(0) 15K /usr/lib/python3.14/site-packages/z3/__pycache__/z3util.cpython-314.pyc
- -rwxr-xr-x root(0) root(0) 0 /usr/share/doc
- -rwxr-xr-x root(0) root(0) 0 /usr/share/doc/z3
- -rw-r--r-- root(0) root(0) 1.1K /usr/share/doc/z3/LICENSE.txt