This code is the implementation of a search procedure described in my master's thesis.
It runs python code through the SAGE interpreter. If you use PyCharm, see the following guide on how to configure your interpreter: https://ask.sagemath.org/question/39742/make-pycharm-recognise-the-sage-python-interpreter/