You are viewing a single comment's thread from:
RE: The SMT Oracles whitepaper.. [call for academics, modelers and deep thinkers]
Claro - please participate in the product!
The philosophical discussion works best with thise who understand the mechanism.