Submissions from github.com/dennisyurichev

		[dupe] SAT/SMT by Example (github.com/dennisyurichev)
		28 points by oumua_don17 on March 10, 2019 \| past \| 1 comment
		DDFF: Duplicate Directories and Files Finder (github.com/dennisyurichev)
		3 points by ingve on June 23, 2018 \| past
		ToySMT – simple SMT solver under 1500 SLOC of pure C (github.com/dennisyurichev)
		91 points by dennis714 on Jan 1, 2018 \| past \| 7 comments