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 1.17.7 version of SukakuExplainer from: here.
2. Download the SukakuExplainerGattaiAddons.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
diuf/sudoku/test/sumo.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 diuf/sudoku/test/sumo.class
Note: jar.exe is part in the jdk (delevelopment kit) but not found in the jre (runtime environment).
Or just download SukakuExplainer v1.17.7 with (the Gattai and Generate) Addons already included from: here.
The samurai solver will solve all 80 of Ruud's samurais posted here.
The gattai solver (doag, samurai or sumo) 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 - doag
- Code: Select all
java.exe -Xrs -Xmx500m -cp SukakuExplainer.jar diuf.sudoku.test.doag --input=doag.txt [options]
Usage - samurai
- Code: Select all
java.exe -Xrs -Xmx500m -cp SukakuExplainer.jar diuf.sudoku.test.samurai --input=samurai.txt [options]
Usage - sumo
- Code: Select all
java.exe -Xrs -Xmx500m -cp SukakuExplainer.jar diuf.sudoku.test.sumo --input=sumo.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 15Aug: update download links.