DennisYurichev/ToySMT

91 best points · 7 comments · 1 Hacker News post · View on GitHub

Hacker News discussions

• ToySMT – simple SMT solver under 1500 SLOC of pure C (91 points, 7 comments, by dennis714, 2018-01-01)