Solver SDK Pro on Amazon Web Services