RE: SMT Wizard: Open Call For SMT Testing — Bilpcoin

You are viewing a single comment's thread from:

RE: SMT Wizard: Open Call For SMT Testing

loshombresdepaco in #smt • 6 years ago

yes , it works

6 years ago in #smt by loshombresdepaco

0.00 BPC

Sort:

ucukertz 6 years ago

It didn't when I posted that. Thanks for updating me.

^{^{^#sbi-skip}}

0.00 BPC

ackza 6 years ago (edited)

Looks just like a fancy version of Scotbot by @holger32 or @eonwarped very cool

0.00 BPC