Forward plugin name to Solver.

Implement #56.
Merge pull request #57 from bchretien/master

Forward plugin name to Solver.