add solver