079c32c
1
2
3
4
5
6
7
8
9
10
import torch def torch_ge_131(): return int("".join(list(filter(str.isdigit, torch.__version__)))) >= 131 def torch_ge_180(): return int("".join(list(filter(str.isdigit, torch.__version__)))) >= 180
