RE: SMT Wizard: Open Call For SMT Testing

I think if everyone works hard at what they really like, which in this case is SMT it might work out, formally it's not my area so there's not much I can help with.