Added Solver.get_arch_for