File list of package python3-bitwuzla in forky of architecture amd64

/usr/lib/python3/dist-packages/bitwuzla.cpython-313-x86_64-linux-gnu.so
/usr/share/doc/python3-bitwuzla/changelog.Debian.gz
/usr/share/doc/python3-bitwuzla/copyright