solver: add bigmem and hash solver