Hacker GitHub

← All repos

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

Mentions per year 5 mentions · busiest year 2012 (2)
20082026
AllStoriesComments NewestTopOldest
  1. Minesweeper: https://yurichev.com/blog/minesweeper_SAT_SN Hexiom: https://github.com/hugomg/hexiom
    comment by __s · 2019-05-19 · in Modern SAT solvers: fast, neat and underused
  2. …I like is the time I used a SAT solver to find the solutions for a little Flash puzzle game. https://github.com/hugomg/hexiom My favorite part is how I could add some symmetry-breaking predicates to greatly speed up the solver on highly…
    comment by ufo · 2015-07-04 · in Current draft of The Art of Computer Programming pre-fascicle 6a [ps]
  3. …instead of SAT I would not have had to convert everything all the way doen to boolean formulas. https://github.com/hugomg/hexiom In the readme I explain a bit why the sat solver helped.
    comment by ufo · 2015-03-26 · in The Z3 Theorem Prover released under MIT license
  4. Are you familiar on how you can use SAT solvers to solve a wide variety of constraint problems? https://github.com/hugomg/hexiom SMT solvers basically extend SAT solvers to allow you to work directly with other theories (linear…
    comment by ufo · 2012-10-03 · in The Z3 theorem prover is now open source
  5. ▲ 2
    Solving Hexiom really fast with a SAT solver.
    story by princeverma · 2012-02-20 · 0 comments