Show HN: Interactive demonstration of 3-SAT #1 Post by balazsdavid987 » Tue, Aug 29, 2017, 7:41 AM UTC Show HN: Interactive demonstration of 3-SATbalazsdavid987.github.io