Thanks for the #SMT introduction, I feel I need to do more research in this area! It sounds really promising though, and makes a lot of sense regarding developers needing a high degree of control over the parameters of their project, not depending on what some witness might declare.