dpsanders opened this issue 4 years ago · 0 comments
Shouldn't this be called SymbolicSMT?
Looks cool though ;)