SMT-LIB benchmarks for shape computations from deep learning models in PyTorch - View it on GitHub