gsf's software

Programs which generate, solve, and analyze Sudoku puzzles

Sudoku solver by Glenn Fowler

Postby ChPicard » Fri Mar 14, 2008 12:22 am

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

Postby Pat » Sun Mar 16, 2008 1:04 pm

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?



gsf's software is available for download at www.research.att.com/~gsf/sudoku
User avatar
Pat
 
Posts: 3449
Joined: 18 July 2005

re: Glenn Fowler

Postby Pat » Tue Oct 22, 2013 7:42 am


    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
User avatar
Pat
 
Posts: 3449
Joined: 18 July 2005

Re: gsf's software

Postby rjamil » Mon Feb 15, 2016 5:47 pm

Post 1 of 2:

Hi all,

I have downloaded last known ast-sudoku.2012-08-01.tgz file, containing source codes, and sharing herewith for reference please.

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
(190 KiB) Downloaded 119 times
ast-sudoku.2012-08-01.z01.zip
Part 2 of 6
(190 KiB) Downloaded 124 times
ast-sudoku.2012-08-01.zip
Part 1 of 6
(188.02 KiB) Downloaded 125 times
rjamil
 
Posts: 149
Joined: 15 October 2014
Location: Karachi, Pakistan

Re: gsf's software

Postby rjamil » Mon Feb 15, 2016 5:56 pm

Post 2 of 2:

R. Jamil
Attachments
ast-sudoku.2012-08-01.z05.zip
Part 6 of 6
(190 KiB) Downloaded 118 times
ast-sudoku.2012-08-01.z04.zip
Part 5 of 6
(190 KiB) Downloaded 122 times
ast-sudoku.2012-08-01.z03.zip
Part 4 of 6
(190 KiB) Downloaded 118 times
rjamil
 
Posts: 149
Joined: 15 October 2014
Location: Karachi, Pakistan


Return to Software