adding solver