Create rexsolver.py