Forward plugin name to Solver.

cc @thomas-moulard 

Implement #56.