Initial import of SMT store (v1 interface) on top of v0.45.8#278

Closed

tzdybal wants to merge 1 commit intorelease/v0.45.xfrom tzdybal/v0.45.8_smt_v1

+626-1

Commits on Sep 16, 2022

feat: initial import of SMT code from #12
tzdybal
committed