Rename Encoder to Solver