Okay, so here’s what happened. It looks like the libtorch installed here https://download.pytorch.org/libtorch/cu100/libtorch-shared-with-deps-latest.zip 30, gives you:
cat libtorch/build-version 
1.2.0.dev20190815+cu100

I installed PyTorch 1.2.0 and it worked. I don’t know what’s up with the 1.3.0 cu100 build. I’ll poke around.
Is there a page similar to this one for libtorch versions? That could help me find which libtorch packages are available.
https://download.pytorch.org/whl/cu100/torch_stable.html 36