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 parentbuildawhale (74)in #smt-oracles • 7 years ago
Is that you trying to explain the humping in your logo? I'd be lost for words too.
Build A Whale... We may not always be successful, but we trying ;)