pytorch-symbolic
