pyexpsolver
