You are viewing a single comment's thread from:
RE: The SMT Oracles whitepaper.. [call for academics, modelers and deep thinkers]
hi @ned can you help me please where can i suggest my idea of making a new challenge? please respect my post comment thanks.