Fix the example in the documentation

[ufechner7]

The constructor of Solver was changed, therefore the example fails.