by absolute beginner » Mon Feb 27, 2006 12:35 am
Hi Robin,
I tried Your solver.
Quite nice!
But I think most people here want something different.
There are small uncomfortable things like reading from file,
which does not understand the "standard format" (standard
means the format usually posted here).
But you work with backtracking / trial and error.
All we know, that you can "easily" solve a sudoku with
t&e, but all would like to have a solution based on
"pure logic" ( of course t&e is..., but mathematicians
don't like the tertium-non-datur"-axiom, i.e. the
proof by contradiction.
So sordfish, xy-wings and so on are beloved, but pure
numbercrunching is not.
I would like to have a program, which says, that
you have to put the x in cell y, because you cannot...
and so on.
I am working for my own c#-solver, but its quite rudimentary