Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
ToySMT – simple SMT solver under 1500 SLOC of pure C
github.com/DennisYurichev
91 points
dennis714
8 years ago
7 comments
Loading...
ToySMT – simple SMT solver under 1500 SLOC of pure C | Heykuki News