Some thoughts on MIT's SMT Solvers Summerschool 2011dontstuffbeansupyournose.com1 point·s7ephen··0 commentsOpen articleSaveView on HN