Add sat solver results caching#328

Potato-h wants to merge 8 commits intoVSharp-team:masterVSharp-team/VSharp:masterfrom

Potato-h:sat-cache-implPotato-h/VSharp:sat-cache-implCopy head branch name to clipboard