Add solver interface