manual:chapter6:solvers