You are viewing a single comment's thread from:RE: The SMT Oracles whitepaper.. [call for academics, modelers and deep thinkers]View the full contextView the direct parentrevo (61)in #smt-oracles • 7 years ago Yeah, before I can address @ned's question I need to first know what an Oracle is.