public static string getLibSBMLDottedVersion() { string ret = libsbmlPINVOKE.getLibSBMLDottedVersion(); return ret; }