Assigning solvers to tasks

Where do you assign a solver to the task?

When you open a new task card, you assign the solver in the left menu.