Links for logic-python2sympy