RE: The SMT Oracles whitepaper.. [call for academics, modelers and deep thinkers]

You are viewing a single comment's thread from:

k-l-c-n-s-e (38)in #smt-oracles • 7 years ago

Wow. I cant wait i would love to start coding up an SMT. I got the most creative idea there is. Its so simple yet

7 years ago in #smt-oracles by k-l-c-n-s-e (38)

Sort: