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

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