Unsolved hidokus in competition
Some of the hidokus of competition2014 could'nt be solved in time (in 10s): hidoku-10-* and hidoku-11-* .
These hidokus can be filled with a spiral.
Two possible solutions:
- Add a spiral-algorithm (like snake and circle)
- Modify SAT-Encoding to enhance speed of SAT-solver for solving such large hidokus