balazsdavid987 Karma 115 Created 11 years ago Recent Submissions 1. ▲ Show HN: Interactive demonstration of 3-SAT (balazsdavid987.github.io) 2 points · 8 years ago · 0 comments All submissions on HN · View profile on HN