2 ms·Version SAT (2016)12 points by djoldman 4y agodang 4y agoDiscussed at the time: Version SAT - https://news.ycombinator.com/item?id=13167446 https://news.ycombinator.com/item?id=13167446 - Dec 2016 (19 comments)