4 ms·SAT/SMT by Example28 points by deepaksurti 8y agorwilson4 8y agoDiscussion from last time: https://news.ycombinator.com/item?id=19075599 https://news.ycombinator.com/item?id=19075599