You are viewing a single comment's thread from:RE: The SMT Oracles whitepaper.. [call for academics, modelers and deep thinkers]View the full contextmariska.lubis (67)in #smt-oracles • 7 years ago This is interesting, I might need it since I do my research and teach as well for various subjects.