Solver python