You are viewing a single comment's thread from:
RE: The SMT Oracles whitepaper.. [call for academics, modelers and deep thinkers]
@ned I would be interested in a discussion with you on this. I will be away the next few days but will contact you on chat when I get back