Add a solver module to create solvers with the smtml mappings#149

filipeom wants to merge 1 commit intosoteria-tools:mainsoteria-tools/soteria:mainfrom

filipeom:filipe/smtml-solverfilipeom/soteria:filipe/smtml-solverCopy head branch name to clipboard