Overv / TheWitnessSolver

Solver for The Witness puzzles

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Add support for teteamino exclusion puzzles

sharkman opened this issue · comments

There is currently some work going on to rewrite the solver. More puzzles can be supported once that's done.

I'd be interested in tackling this issue. How far along are you with the re-write?

I'm afraid I haven't worked on the project since, I would probably rewrite it to use a SAT solver now.