sudoku (9x9) and sudocoup (NxN/QWH) solvers

Programs which generate, solve, and analyze Sudoku puzzles

sudoku (9x9) and sudocoup (NxN/QWH) solvers

Postby gsf » Thu Jan 26, 2006 8:18 pm

common public license (cpl1.0) source for two command line
solvers has been posted at
http://www.research.att.com/sw/download/tgz/ast-sudoku.2006-01-24.tgz
even though it is open source there is a license handshake
for rationale see
http://www.research.att.com/sw/download/faq.license.html

sudoku is a 9x9 technique based solver
I stopped coding new techniques at x-cycles (~simple coloring)

sudocoup is an NxN sudoku/QWH (latin square) solver coded for speed
its a backtrack solver, but solves most 9x9 sudoku without backtracking
using a 1 level forward check

for a refreshing change neither solver employs dancing links
gsf
2014 Supporter
 
Posts: 7306
Joined: 21 September 2005
Location: NJ USA

Postby Wolfgang » Fri Jan 27, 2006 10:48 am

Hi gsf,
made some tests with sudocoup yesterday. Its really fast, helped me to calculate 100000s of solutions of some sudokus with filled diagonal boxes in short time and to find 9 17-clues (all covered by gfroyles list). Thx.
Wolfgang
 
Posts: 208
Joined: 22 June 2005

Postby eclark » Thu Feb 02, 2006 6:05 pm

Thanks
eclark
 
Posts: 14
Joined: 26 January 2006

re: gsf's software

Postby Pat » Sun Jun 06, 2010 7:24 am

User avatar
Pat
 
Posts: 4056
Joined: 18 July 2005

Re: sudoku (9x9) and sudocoup (NxN/QWH) solvers

Postby dukuso » Sun Jun 06, 2010 7:27 am

OK, let's put it in this thread

do we have the source code (at least for some parts/routines ?)
can it be compiled under windows
has someone succesfully changed/improved it

can we make improvement suggestions
can someone post the help-screen , sudoku --h , or can it be easily changed so to
print to stdout (sudoku --h >file)

I'd like to have it with grid-generation,analyis only with the puzzle/solving technics part stripped
canonical form
automorphism group
classes
other grid-properties
...
dukuso
 
Posts: 479
Joined: 25 June 2005

Postby Pat » Sun Jun 06, 2010 7:41 am

dukuso wrote:do we have the source code (at least for some parts/routines ?)
can it be compiled under windows
has someone succesfully changed/improved it


for the source-code,
go to http://www.Research.ATT.com/sw/download/
and hit the "ast-sudoku" link
User avatar
Pat
 
Posts: 4056
Joined: 18 July 2005

Re: sudoku (9x9) and sudocoup (NxN/QWH) solvers

Postby dukuso » Sun Jun 06, 2010 9:16 am

complicated licence/copyright, which I haven't yet checked (hmm, but I did (illegally ?) download
the windows executable)

so the task is still out to produce the same thing for the public domain
so everyone can use it.

ast-sudoku link: http://www2.research.att.com/sw/download/
dukuso
 
Posts: 479
Joined: 25 June 2005

Postby Pat » Sun Jun 06, 2010 9:49 am

dukuso wrote:complicated licence/copyright, which I haven't yet checked

    the license handshake
    is required for the source

      executable seems available
      without going through any such license handshake

    specifically, the Windows executable for sudoku is available

      i'd like to get the Windows executable for sudocoup4---
User avatar
Pat
 
Posts: 4056
Joined: 18 July 2005

Re: sudoku (9x9) and sudocoup (NxN/QWH) solvers

Postby gsf » Sun Jun 06, 2010 9:51 am

dukuso wrote:complicated licence/copyright, which I haven't yet checked (hmm, but I did (illegally ?) download
the windows executable)

so the task is still out to produce the same thing for the public domain
so everyone can use it.

ast-sudoku link: http://www2.research.att.com/sw/download/

cpl 1.0 is an open source license
the license rigmarole is waived for the linux and windows sudoku executable downloads
there are many reasons for using a license and many reasons for why even the simplest ones are complicated
if you are using a windows os then you are using software that is closed source and you have no rights whatsoever to the source
if you are using gnu/linux then you are using software that is most certainly licensed and copyrighted but is open source so you have rights to the source
in many cases hobby, employment and licensing are inextricably tied
my side of the discussion on licensing ends right here.
gsf
2014 Supporter
 
Posts: 7306
Joined: 21 September 2005
Location: NJ USA

Re: sudoku (9x9) and sudocoup (NxN/QWH) solvers

Postby dukuso » Sun Jun 06, 2010 10:47 am

can you at least consider to split your activities into licensed/copyrighted stuff
and public stuff + cooperating ? I assume that not everything is licenced/copyrighted
and what you write in the forums is public.
So we have to redo large parts of your great work in order to make it publically full usable, sigh.

Why did I come back to sudoku-forums after spending 4+years in the flu-forums ?
Yes, mainly because of the disgusting secrecy,dishonesty,lack of cooperation,bias
of the (professional) flu-people .
Thinking back to my time in math-,programming-,puzzle-,Eternity-,sudoku- forums
in melancholy.
dukuso
 
Posts: 479
Joined: 25 June 2005

Re: sudoku (9x9) and sudocoup (NxN/QWH) solvers

Postby gsf » Sun Jun 06, 2010 11:46 am

dukuso wrote:can you at least consider to split your activities into licensed/copyrighted stuff
and public stuff + cooperating ? I assume that not everything is licenced/copyrighted
and what you write in the forums is public.
So we have to redo large parts of your great work in order to make it publically full usable, sigh.

Why did I come back to sudoku-forums after spending 4+years in the flu-forums ?
Yes, mainly because of the disgusting secrecy,dishonesty,lack of cooperation,bias
of the (professional) flu-people .
Thinking back to my time in math-,programming-,puzzle-,Eternity-,sudoku- forums
in melancholy.

I'm guessing you don't work for a large corporation
what you see w.r.t. my side is as good as it gets
and I'm in a place that is extremely open-minded on research activities

I really don't want to post more on licensing
my solver is open source
that means that once you get the source (after agreeing to the license) you can have at it
it also means, if the source somehow causes a catastrophe, that the upstream is out of the loop
individuals with shallow pockets can easily have a different view on licensing
others have more restrictions imposed and have to play by a different set of rules

glad to have you back
now back to hacking ...
gsf
2014 Supporter
 
Posts: 7306
Joined: 21 September 2005
Location: NJ USA

Re: sudoku (9x9) and sudocoup (NxN/QWH) solvers

Postby dukuso » Thu Jun 10, 2010 3:05 pm

OK, I have a file with many sudokugrids, one per row, 81 numbers per row

now I want to put them into canonical form
dukuso
 
Posts: 479
Joined: 25 June 2005

Re: sudoku (9x9) and sudocoup (NxN/QWH) solvers

Postby gsf » Thu Jun 10, 2010 3:52 pm

dukuso wrote:OK, I have a file with many sudokugrids, one per row, 81 numbers per row

now I want to put them into canonical form

if the grids have 81 clues then use
Code: Select all
sudoku -q- -f%c the_file_name

otherwise for puzzles use
Code: Select all
sudoku -q- -f%#mc the_file_name

-q- turns off solving
gsf
2014 Supporter
 
Posts: 7306
Joined: 21 September 2005
Location: NJ USA

Re: sudoku (9x9) and sudocoup (NxN/QWH) solvers

Postby dukuso » Thu Jun 10, 2010 7:46 pm

-q-
doesn't work for me, generates grids "AAAA---"

but without -q- it works fine. Solving with 81 clues is easy !

T-class-canonical form, would it be difficult to add ?
dukuso
 
Posts: 479
Joined: 25 June 2005

Re: sudoku (9x9) and sudocoup (NxN/QWH) solvers

Postby gsf » Thu Jun 10, 2010 8:13 pm

dukuso wrote:-q-
doesn't work for me, generates grids "AAAA---"

but without -q- it works fine. Solving with 81 clues is easy !

T-class-canonical form, would it be difficult to add ?

sorry about the -q-, out of sight for > 1 month for me and its out of mind

add T-class canonicalization should be easy because it just disables transposition
will look into that
gsf
2014 Supporter
 
Posts: 7306
Joined: 21 September 2005
Location: NJ USA

Next

Return to Software