Simplest SAT solver in ~120 linesyurichev.com3 points·dennis714··0 commentsOpen articleSaveView on HN