## gsf's software

Programs which generate, solve, and analyze Sudoku puzzles

### Sudoku solver by Glenn Fowler

Hi

Here
http://www.research.att.com/~gsf/man/man1/sudoku.html
you can find a very rapid and powerful solver.

There are commands like:

EXAMPLES
Note: % must be entered as %% in windows .bat files and shortcut commands.
Generate 100 minimal symmetric puzzles limited to pairs and x-wings in g.dat:
sudoku -g -sg -m -q+T2H2W2-XYG -e "valid&&minimal==1" -n100 -f%v -o g.dat
Reformat and collate for player's forum inferior low/high steppers:
sudoku -f"%#tq,%(steps)x,%(clues)x,%(minimal)[-][M][SM]x,%#0v,gsf,%n" \
-q{FN}-G -B *.dat | sort -t, -k1,1 -k2,3n -k4,4r
Generate and search for player's forum ulterior low/high steppers:
sudoku -f"%#tq,%(steps)x,%(clues)x,%(minimal)[-][M][SM]x,%#0v,gsf,%n" \
-e"V&&(I<4||I>20)" -g -q{B2:N}-G -Q!{FN} -AB -m -sg
Count isomorphic puzzles and list each non-trivial representative:
sudoku -f"%C %c %4n %#0v" *.dat |
sort -k1,1 | uniq -c -s82 -w82 | grep -v "^ *1 "
Count isomorphic solutions and list each non-trivial representative:
sudoku -f"%C %c %4n %#0v" *.dat |
sort -k1,1 | uniq -c -w82 | grep -v "^ *1 "
Solve and categorize a collection of puzzles:
sudoku -F"# %t seconds" -f"%v # %7n %10t %Q" puzzles.dat > puzzles.out
Label and trace constraint interations:
sudoku -ki -v2 puzzle.dat | less
Capture the pencilmark grid after constraint iteration N:
sudoku -kiN -f%#ph puzzle.dat
Havard's "Making 17's from JPF's 19" sequence:
sudoku -go"{-1+1}x3{-2+1}{-2+2}{1+1}x9" jpf-19.dat
Generate 10 non-equivalent mimimal symmetric puzzles, each solved by a
different set of constraints, with the same solution grid as the
first puzzle in s.dat:
sudoku -gp -Ys.dat -j0 -n10 -m -sg -e 'minimal==1&&uniq()&&uniq(%q)'
Filter weak and strong pearls:
sudoku -S -qss+G -e '(%#Pq)>2'

Could you tell me how to reach this solver and install it in my computer?

Thank you
ChPicard

Posts: 16
Joined: 02 March 2008

### re: Glenn Fowler

ChPicard wrote:
Here

www.research.att.com/~gsf/man/man1/sudoku.html

you can find a very rapid and powerful solver.

Could you tell me how to reach this solver and install it in my computer?

Pat

Posts: 3968
Joined: 18 July 2005

### re: Glenn Fowler

gsf is no longer at at&t research (see his post)

above URLs are broken,
hopefully "when things settle down" there will be an update

Pat

Posts: 3968
Joined: 18 July 2005

### Re: gsf's software

Post 1 of 2:

Hi all,

Since the compressed tar file is 1.11 MB and maximum file size limit for attachment per post in this form is 200 KB, therefore, sharing herewith by re-compressing in zip format and splitting in to approximately 190 KB size x 6 volumes/parts, 3 parts per post. Download all 6 parts in one folder and un-compress ast-sudoku.2012-08-01.zip file.

Note: Since file extension are also restricted, therefore part *.z01.zip, *.z02.zip ... *.z05.zip changed to *.z01, *.z02 ... *.z05 before uncompressing.

R. Jamil
Attachments
ast-sudoku.2012-08-01.z02.zip
Part 3 of 6
ast-sudoku.2012-08-01.z01.zip
Part 2 of 6
ast-sudoku.2012-08-01.zip
Part 1 of 6
rjamil

Posts: 671
Joined: 15 October 2014
Location: Karachi, Pakistan

### Re: gsf's software

Post 2 of 2:

R. Jamil
Attachments
ast-sudoku.2012-08-01.z05.zip
Part 6 of 6
ast-sudoku.2012-08-01.z04.zip
Part 5 of 6