Dear all,
we would like to use libtorch commercially. For this we aim to use the pre-built binarys, given through the links from the pytorch homepage such as

https://download.pytorch.org/libtorch/cu101/libtorch-win-shared-with-deps-1.4.0.zip

Unfortunately there is no main license document given in these zip files. However in the official github repository [pytorch/LICENSE at master · pytorch/pytorch · GitHub 3] there is a leading BSD-license document.
The following questions arise:

Are we correct in the assumption, that these pre-built binaries are published with the same license as the leading license given in the github repository?
In the latter case, would it be possible to include the license documents in the pre-built zips? Or is there any specific reason for not including license information in these pre-built zips?

Thanks