Sat solver in Python (~175 SLOC) with watch listsyurichev.com2 points·dennis714··0 commentsOpen articleSaveView on HN