new examples/psets/solvers.py