SukakuExplainer - Addons

Programs which generate, solve, and analyze Sudoku puzzles

SukakuExplainer - Addons

Postby 1to9only » Wed Jan 01, 2020 7:44 pm

SukakuExplainer, with these addons, can be used to solve and rate the doag puzzles recently posted here, and samurai puzzle posted here.
The addons also support some of the SukakuExplainer variants.
The addons are provided in binary format to be added to SukakuExplainer.
To do this:
1. Download the latest version of SukakuExplainer released: here.
2. Download the SukakuExplainerAddons.zip file from: here, unzip to obtain these files:
Code: Select all
diuf/sudoku/solver/a.class
diuf/sudoku/test/doag.class
diuf/sudoku/test/samurai.class

3. Add these files to SukakuExplainer:
Code: Select all
jar.exe uf SukakuExplainer.jar diuf/sudoku/solver/a.class diuf/sudoku/test/doag.class diuf/sudoku/test/samurai.class

The samurai solver will solve all 80 of Ruud's samurais posted here.

The gattai solver (samurai or doag) cannot solve (rate) the hardest gattai puzzles - this is mainly because SukakuExplainer expects solving 9x9 sudokus having single solutions, whereas in gattais the subgrids will often have multiple solutions.

Usage - samurai
Code: Select all
java.exe -Xrs -Xmx500m -cp SukakuExplainer.jar diuf.sudoku.test.samurai --input=samurai.txt [options]

Usage - doag
Code: Select all
java.exe -Xrs -Xmx500m -cp SukakuExplainer.jar diuf.sudoku.test.doag --input=doag.txt [options]

If no options are specified, then the default is solving a gattai puzzle made of vanilla sudokus.

Options - Output (select none or one of the following)
Code: Select all
-h   show hints
-p   show pencilmarks

The output is best redirected to a file.

Options - Variant (select none, one or more of the following)
Code: Select all
-l   enable Latin Square variant
-x   enable Diagonals (X) variant
-w   enable Windoku variant
-d   enable Disjoint Groups variant
-a   enable Asterisk variant
-c   enable Center Dots variant
-g   enable Girandola variant

Options - Chaining (select none or one of the following)
Code: Select all
-C   enable chainingHintProducers - Forcing Chains & Cycles 6.6+,7.0+
-A   enable advancedHintProducers - Nested Forcing Chains 9.5+, levels 1-3
-E   enable experimentalHintProducers - Nested Forcing Chains 9.5+, level 4

By default, the chaining solving techniques are not enabled.
Enabling a chaining option generally does not help solve the very difficult gattais!

Examples:
Code: Select all
java.exe -Xrs -Xmx500m -cp SukakuExplainer.jar diuf.sudoku.test.samurai --input=ruud-samurai.txt

Code: Select all
java.exe -Xrs -Xmx500m -cp SukakuExplainer.jar diuf.sudoku.test.doag --input=WinAstDoag.txt -w -a

Code: Select all
java.exe -Xrs -Xmx500m -cp SukakuExplainer.jar diuf.sudoku.test.doag --input=WinDoag.txt -w

Code: Select all
java.exe -Xrs -Xmx500m -cp SukakuExplainer.jar diuf.sudoku.test.doag --input=XDoag.txt -x

Edit: minor changes and clarifications.
Last edited by 1to9only on Thu Jan 02, 2020 10:48 am, edited 3 times in total.
1to9only
 
Posts: 1409
Joined: 04 April 2018

Re: SukakuExplainer - Addons

Postby tarek » Wed Jan 01, 2020 11:48 pm

Brilliant …
I will have to squeeze some time to test/play with this

tarek
User avatar
tarek
 
Posts: 3358
Joined: 05 January 2006


Return to Software

cron