|
|
|
|
|
|
by kazinator
1675 days ago
|
|
|
Since we have a math proof that J is 6 in all possible solutions, which works without discovering the other values, we might as well bind (J 6); the purpose is to get the other letters. Binding J cuts down the execution time by close to an order of magnitude. |
|
|