SAT


Comments are moderated. It may take a few minutes before your comment appears.
Markdown is supported in your comments.

All the rules are generated by computer (sudoku has but 20 lines of code to make those 11K), so the high number does not really matter. Right? Well not always. In the code for window(), it produces roughly combination(length(positions), max+1) clauses. It is very easy to have a combinatorial explosion.

Name:
Mail: (not shown)

Please type this: