trixie の amd64 アーキテクチャ用 python3-z3 パッケージのファイル一覧
/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