gahaalt/pytorch-symbolic not found