%FILES%
usr/
usr/bin/
usr/bin/bitwuzla
usr/include/
usr/include/bitwuzla/
usr/include/bitwuzla/c/
usr/include/bitwuzla/c/bitwuzla.h
usr/include/bitwuzla/c/parser.h
usr/include/bitwuzla/cpp/
usr/include/bitwuzla/cpp/bitwuzla.h
usr/include/bitwuzla/cpp/parser.h
usr/include/bitwuzla/cpp/sat_solver.h
usr/include/bitwuzla/cpp/terminator.h
usr/include/bitwuzla/enums.h
usr/include/bitwuzla/option.h
usr/include/bitwuzla/result.h
usr/lib/
usr/lib/libbitwuzla.so
usr/lib/libbitwuzla.so.0
usr/lib/libbitwuzlabb.so
usr/lib/libbitwuzlabv.so
usr/lib/libbitwuzlals.so
usr/lib/pkgconfig/
usr/lib/pkgconfig/bitwuzla.pc
usr/lib/python3.14/
usr/lib/python3.14/site-packages/
usr/lib/python3.14/site-packages/bitwuzla.cpython-314-x86_64-linux-gnu.so
usr/share/
usr/share/licenses/
usr/share/licenses/bitwuzla/
usr/share/licenses/bitwuzla/COPYING
