Add solver