Files in "z3" (4.15.0)

Download

Repository: riscv64/stable

Package time: 2025-05-11 06:14

Size: 18511038

SHA256: f4aaa9eaac27ad45ee193831f92893e933d76b9721a7ab1f6601900c69cb9ab3

Installed Size: 34.7 MiB

Maintainer: AOSC OS Maintainers <maintainers@aosc.io>

Library depends: ld-linux-riscv64-lp64d.so.1, libc.so.6, libgcc_s.so.1, libm.so.6, libstdc++.so.6

Library provides: libz3.so.4.15, libz3.so.4.15.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) 16M /usr/bin/z3
• -rw-r--r-- root(0) root(0) 7.0K /usr/include/z3_algebraic.h
• -rw-r--r-- root(0) root(0) 264K /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) 42K /usr/include/z3_fpa.h
• -rw-r--r-- root(0) root(0) 495 /usr/include/z3.h
• -rw-r--r-- root(0) root(0) 191K /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) 212 /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.4.15
• -rwxr-xr-x root(0) root(0) 16M /usr/lib/libz3.so.4.15.0.0
• -rwxr-xr-x root(0) root(0) 0 /usr/lib/pkgconfig
• -rwxr-xr-x root(0) root(0) 0 /usr/lib/python3.10
• -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) 857 /usr/lib/cmake/z3/Z3Targets-relwithdebinfo.cmake
• -rw-r--r-- root(0) root(0) 255 /usr/lib/pkgconfig/z3.pc
• -rwxr-xr-x root(0) root(0) 0 /usr/lib/python3.10/site-packages
• -rwxr-xr-x root(0) root(0) 0 /usr/lib/python3.10/site-packages/z3
• -rw-r--r-- root(0) root(0) 210 /usr/lib/python3.10/site-packages/z3/__init__.py
• -rwxr-xr-x root(0) root(0) 0 /usr/lib/python3.10/site-packages/z3/__pycache__
• -rw-r--r-- root(0) root(0) 7.9K /usr/lib/python3.10/site-packages/z3/z3consts.py
• -rw-r--r-- root(0) root(0) 197K /usr/lib/python3.10/site-packages/z3/z3core.py
• -rw-r--r-- root(0) root(0) 16K /usr/lib/python3.10/site-packages/z3/z3num.py
• -rw-r--r-- root(0) root(0) 1.1K /usr/lib/python3.10/site-packages/z3/z3poly.py
• -rw-r--r-- root(0) root(0) 45K /usr/lib/python3.10/site-packages/z3/z3printer.py
• -rw-r--r-- root(0) root(0) 337K /usr/lib/python3.10/site-packages/z3/z3.py
• -rw-r--r-- root(0) root(0) 4.9K /usr/lib/python3.10/site-packages/z3/z3rcf.py
• -rw-r--r-- root(0) root(0) 464 /usr/lib/python3.10/site-packages/z3/z3test.py
• -rw-r--r-- root(0) root(0) 4.8K /usr/lib/python3.10/site-packages/z3/z3types.py
• -rw-r--r-- root(0) root(0) 11K /usr/lib/python3.10/site-packages/z3/z3util.py
• -rw-r--r-- root(0) root(0) 443 /usr/lib/python3.10/site-packages/z3/__pycache__/__init__.cpython-310.opt-1.pyc
• -rw-r--r-- root(0) root(0) 443 /usr/lib/python3.10/site-packages/z3/__pycache__/__init__.cpython-310.pyc
• -rw-r--r-- root(0) root(0) 9.7K /usr/lib/python3.10/site-packages/z3/__pycache__/z3consts.cpython-310.opt-1.pyc
• -rw-r--r-- root(0) root(0) 9.7K /usr/lib/python3.10/site-packages/z3/__pycache__/z3consts.cpython-310.pyc
• -rw-r--r-- root(0) root(0) 134K /usr/lib/python3.10/site-packages/z3/__pycache__/z3core.cpython-310.opt-1.pyc
• -rw-r--r-- root(0) root(0) 134K /usr/lib/python3.10/site-packages/z3/__pycache__/z3core.cpython-310.pyc
• -rw-r--r-- root(0) root(0) 345K /usr/lib/python3.10/site-packages/z3/__pycache__/z3.cpython-310.opt-1.pyc
• -rw-r--r-- root(0) root(0) 345K /usr/lib/python3.10/site-packages/z3/__pycache__/z3.cpython-310.pyc
• -rw-r--r-- root(0) root(0) 17K /usr/lib/python3.10/site-packages/z3/__pycache__/z3num.cpython-310.opt-1.pyc
• -rw-r--r-- root(0) root(0) 17K /usr/lib/python3.10/site-packages/z3/__pycache__/z3num.cpython-310.pyc
• -rw-r--r-- root(0) root(0) 1.1K /usr/lib/python3.10/site-packages/z3/__pycache__/z3poly.cpython-310.opt-1.pyc
• -rw-r--r-- root(0) root(0) 1.1K /usr/lib/python3.10/site-packages/z3/__pycache__/z3poly.cpython-310.pyc
• -rw-r--r-- root(0) root(0) 43K /usr/lib/python3.10/site-packages/z3/__pycache__/z3printer.cpython-310.opt-1.pyc
• -rw-r--r-- root(0) root(0) 44K /usr/lib/python3.10/site-packages/z3/__pycache__/z3printer.cpython-310.pyc
• -rw-r--r-- root(0) root(0) 5.4K /usr/lib/python3.10/site-packages/z3/__pycache__/z3rcf.cpython-310.opt-1.pyc
• -rw-r--r-- root(0) root(0) 5.4K /usr/lib/python3.10/site-packages/z3/__pycache__/z3rcf.cpython-310.pyc
• -rw-r--r-- root(0) root(0) 460 /usr/lib/python3.10/site-packages/z3/__pycache__/z3test.cpython-310.opt-1.pyc
• -rw-r--r-- root(0) root(0) 460 /usr/lib/python3.10/site-packages/z3/__pycache__/z3test.cpython-310.pyc
• -rw-r--r-- root(0) root(0) 9.9K /usr/lib/python3.10/site-packages/z3/__pycache__/z3types.cpython-310.opt-1.pyc
• -rw-r--r-- root(0) root(0) 9.9K /usr/lib/python3.10/site-packages/z3/__pycache__/z3types.cpython-310.pyc
• -rw-r--r-- root(0) root(0) 11K /usr/lib/python3.10/site-packages/z3/__pycache__/z3util.cpython-310.opt-1.pyc
• -rw-r--r-- root(0) root(0) 11K /usr/lib/python3.10/site-packages/z3/__pycache__/z3util.cpython-310.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