I am not so conversant with the SMT stuff, but the hype is definitely there. If it brings with it the solution to such problems as concerns us here, then that is really good. I hope it does.
You are viewing a single comment's thread from:
I am not so conversant with the SMT stuff, but the hype is definitely there. If it brings with it the solution to such problems as concerns us here, then that is really good. I hope it does.