Solving Hexiom really fast with a SAT solver.github.com2 points·princeverma··0 commentsOpen articleSaveView on HN