New top story on Hacker News: ToySMT – simple SMT solver under ~1500 SLOC of pure C

http://ift.tt/2lBsfGb
New top story on Hacker News: ToySMT – simple SMT solver under ~1500 SLOC of pure C http://ift.tt/2zXnQT6
via IFTTT

Comments