designing SolverX