You are viewing a single comment's thread from:

RE: The SMT Oracles whitepaper.. [call for academics, modelers and deep thinkers]

in #smt-oracles • 8 years ago (edited)

Claro - please participate in the product!

The philosophical discussion works best with thise who understand the mechanism.

8 years ago in #smt-oracles by
$0.23
8 votes
Reply 0
Sort:  
  • Trending