Sudoku solver

[Ian Kelly]

On Wed, Mar 25, 2015 at 8:56 PM, Abhiram R <abhi.darkness at gmail.com> wrote:
>
> On Mar 26, 2015 5:39 AM, "Ian Kelly" <ian.g.kelly at gmail.com> wrote:
>>
>
>> "Hard" for a human doesn't necessarily mean "hard" for a programmatic
>> solver in this case. Try your solver on this one:
>>
>> $ cat sudoku2.dat
>> . . . 7 . . . . .
>> 1 . . . . . . . .
>> . . . 4 3 . 2 . .
>> . . . . . . . . 6
>> . . . 5 . 9 . . .
>> . . . . . . 4 1 8
>> . . . . 8 1 . . .
>> . . 2 . . . . 5 .
>> . 4 . . . . 3 . .
>>
>> I tried the first puzzle you posted, and it took about a second. I
>> then started running it on this one before I started typing up this
>> post, and it hasn't finished yet.
>
> Sooooo... Is it done yet? And if yes, how long did it take?

I don't know, I killed it at about 16 minutes.