TheWitnessSolver icon indicating copy to clipboard operation
TheWitnessSolver copied to clipboard

Add support for teteamino exclusion puzzles

Open sharkman opened this issue 9 years ago • 3 comments

sharkman avatar Mar 22 '16 13:03 sharkman

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

Overv avatar Mar 22 '16 13:03 Overv

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

stevegolton avatar Mar 05 '17 16:03 stevegolton

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

Overv avatar Mar 05 '17 17:03 Overv