]> www.ginac.de Git - ginac.git/search
added exhashmap<> as a replacement for map<> that uses hashing