Improve error message on missing solver (#424)#425

filipeom merged 1 commit intomainformalsec/smtml:mainfrom

filipe/issue-424formalsec/smtml:filipe/issue-424Copy head branch name to clipboard