robotic solvers