Python Symbolic-inference Resources