def set(self, key, value, timeout=None, version=None):
        raise NotImplementedError
Get SMT memory representation.
dataset/ETHPy150Open AppScale/appscale/AppServer/lib/django-1.5/django/core/cache/backends/base.py/BaseCache.set--crossover with--dataset/ETHPy150Open programa-stic/barf-project/barf/barf/core/smt/smttranslator.py/SmtTranslator.get_memory_init