App mode: Input
The app switches to the Input mode when you click Edit button at Manual Composition in Sidebar. In the Input mode, you can manually compose valid puzzles (solvable puzzles) with assists of the app. You can also input the puzzle that you obtained from other sources [1] for getting computational solution, [2] for making analysis of the puzzle and/or [3] for creating a custom puzzle that you can play in this app.
Validate button
When you finished inputting all predefined clue-digits, click the Validate button. The app inspects the puzzle and displays check-results listed in the next section. If some errors are detected in validation, the app shows you applicable repairs for making the puzzle solvable. If solvability is confirmed, you can test-play the puzzle.
Analysis results
- Starting percentage: Displays share of squares occupied by starting clues.
- Solvable: Checks whether all squares can be filled complying with the rules of number placing puzzle.
- Deductively solvable: Checks whether the puzzle can be fully solved without inductive inference.
- Unique solution: Checks whether the puzzle has the only single solution*.
- Estimated difficulty: Evaluates difficulty of the deductively solvable puzzle base on a statistical analysis.
*The app judges uniqueness of the solution only by confirming that the puzzle doesn't have any fundamental patterns which can make it deductively indeterminable. Therefore any possibilities that there exist other solutions (which might be dug out by inductive methods) shall not be excluded. If you require a strict proof, please check it by yourself.
Drop-down menu in input mode
- New: Clear all the squares for inputting a new puzzle.
- Import: Import puzzle data from a CSV file.
- Export: Export puzzle data to a CSV file.
Quitting input mode
You can quit the input mode by choosing a puzzle in the Archives in the Sidebar. Then the app goes back to the Play mode.