hugomg/hexiom
View on GitHub ↗ ★ 34 Python
SAT-based solver for the Hexiom logic puzzle
5 mentions on Hacker News by 3 people: 1 story, 4 comments · first 2012-02-20 · latest 2019-05-19
20082026
-
▲ 2
Solving Hexiom really fast with a SAT solver.story by princeverma · 2012-02-20 · 0 comments