Add solver to CLI