Gui can now be used to generate a SMT2 file from a SBML file.