HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
ToySMT – simple SMT solver under 1500 SLOC of pure C
github.com/DennisYurichev
7 comments
8 years ago
dennis714
91 points
2.
▲
SAT/SMT by Example
github.com/DennisYurichev
1 comment
7 years ago
deepaksurti
28 points
3.
▲
DDFF: Duplicate Directories and Files Finder
github.com/DennisYurichev
discuss
8 years ago
ingve
3 points