show how to use solvers