Add LocalSolver interface.