Forward plugin name to Solver.

Implement #56.