/usr/local/lib/cmake/Bitwuzla/BitwuzlaConfig.cmake
/usr/local/lib/cmake/Bitwuzla/BitwuzlaConfigVersion.cmake
/usr/local/lib/libbitwuzla.a
/usr/local/lib/cmake/Bitwuzla/BitwuzlaTargets.cmake
/usr/local/lib/cmake/Bitwuzla/BitwuzlaTargets-production.cmake
/usr/local/include/bitwuzla/bitwuzla.h
/usr/local/bin/bitwuzla