Add solver types