Hashi Puzzle Solver

Hashi is a logic puzzle: numbered islands sit on a grid, and you join them with horizontal and vertical bridges, at most two between any pair, until every island has exactly as many bridges as its number and no two bridges cross. This AI course project models the puzzle as a constraint satisfaction problem and solves it with backtracking search. The solver always works on the island with the fewest remaining options, tries a single bridge and then a double in a fixed north, east, south, west order, checks bridge limits and crossings before every move, and undoes moves when a branch dead-ends. A second solver based on conflict-driven clause learning was started and never finished.

Attention: Coursework. Only the backtracking solver works; the planned second solver, based on conflict-driven clause learning, was never finished, as the repo's own README says.