hugomg/hexiom

SAT-based solver for the Hexiom logic puzzle

2 best points · 0 comments · 1 Hacker News post · 34 GitHub stars · View on GitHub

Hacker News discussions

• Solving Hexiom really fast with a SAT solver. (2 points, 0 comments, by princeverma, 2012-02-20)