SolverStudio & CPython