Which SMT project has the best chance to succeed ?jk6276 (66)in #smt • 5 years ago (edited)View this post on Hive: Which SMT project has the best chance to succeed ?