Expose a solver's M_with_make as part of the solver mappings#435

filipeom merged 1 commit intomainformalsec/smtml:mainfrom

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