Implement mp_solver_base interface by frontend_solver.