自作

Hashiwokakero · the bridges puzzle

Your own puzzle

0 islands

00:00Time · 時間

0Moves · 手

0Hints · 助

生成中 · Generating…

Growing islands, building bridges, and asking the SAT solver whether the solution is unique…

0 / 0 islands completeall connected

Practice練習

As many fresh puzzles as you like, each proven by the SAT solver to have exactly one solution. No clock pressure, the daily bridge is on the home page.

SAT Solver充足可能性

The puzzle is encoded as CNF and solved by our own solvers from the SAT solving lab.

Own CDCL

Solver

Branching heuristic

Restarts

Subsumption

preprocess

Timeout

$ hashi solve --solver cdcl -H vsids --restarts luby

c waiting for a puzzle to solve…

How to build操作

1 · wooden bridge

2 · vermilion bridge

Click the water between two islands, or drag from an island.
Click again for a second bridge, a third click removes them.
Right click or Shift + click removes a bridge.
Ctrl Z Undo · Ctrl Y Redo · H Hint