(* Content-type: application/vnd.wolfram.mathematica *) (*** Wolfram Notebook File ***) (* http://www.wolfram.com/nb *) (* CreatedBy='Mathematica 13.0' *) (*CacheID: 234*) (* Internal cache information: NotebookFileLineBreakTest NotebookFileLineBreakTest NotebookDataPosition[ 158, 7] NotebookDataLength[ 35688, 947] NotebookOptionsPosition[ 32115, 854] NotebookOutlinePosition[ 33872, 906] CellTagsIndexPosition[ 33829, 903] WindowTitle->SudokuSolve | Example Notebook WindowFrame->Normal*) (* Beginning of Notebook Content *) Notebook[{ Cell[CellGroupData[{ Cell[TextData[{ "Basic Examples", "\[NonBreakingSpace]", Cell["(1)", "ExampleCount"], "\[NonBreakingSpace]" }], "Subsection", TaggingRules->{}, CellID->462042388], Cell["Solve a puzzle:", "Text", TaggingRules->{}, CellChangeTimes->{{3.753613453640423*^9, 3.753613463201428*^9}}, CellID->6850855], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ InterpretationBox[ TagBox[ DynamicModuleBox[{Typeset`open = False}, FrameBox[ PaneSelectorBox[{False->GridBox[{ { PaneBox[GridBox[{ { StyleBox[ StyleBox[ AdjustmentBox["\<\"[\[FilledSmallSquare]]\"\>", BoxBaselineShift->-0.25, BoxMargins->{{0, 0}, {-1, -1}}], "ResourceFunctionIcon", FontColor->RGBColor[ 0.8745098039215686, 0.2784313725490196, 0.03137254901960784]], ShowStringCharacters->False, FontFamily->"Source Sans Pro Black", FontSize->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["SudokuSolve", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"], ImageSizeCache->{11., {1., 10.}}], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"], ImageSizeCache->{11., {1., 10.}}]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}], True-> GridBox[{ {GridBox[{ { PaneBox[GridBox[{ { StyleBox[ StyleBox[ AdjustmentBox["\<\"[\[FilledSmallSquare]]\"\>", BoxBaselineShift->-0.25, BoxMargins->{{0, 0}, {-1, -1}}], "ResourceFunctionIcon", FontColor->RGBColor[ 0.8745098039215686, 0.2784313725490196, 0.03137254901960784]], ShowStringCharacters->False, FontFamily->"Source Sans Pro Black", FontSize->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["SudokuSolve", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"]], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"]]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}]}, { StyleBox[ PaneBox[GridBox[{ { RowBox[{ TagBox["\<\"Version (latest): \"\>", "IconizedLabel"], " ", TagBox["\<\"1.0.0\"\>", "IconizedItem"]}]}, { TagBox[ TemplateBox[{ "\"Documentation \[RightGuillemet]\"", "https://resources.wolframcloud.com/FunctionRepository/\ resources/SudokuSolve"}, "HyperlinkURL"], "IconizedItem"]} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{5, 4}, {0, 4}}], "DialogStyle", FontFamily->"Roboto", FontSize->11]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxDividers->{"Columns" -> {{None}}, "Rows" -> {False, { GrayLevel[0.8]}, False}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}]}, Dynamic[ Typeset`open], BaselinePosition->Baseline, ImageSize->Automatic], Background->RGBColor[ 0.9686274509803922, 0.9764705882352941, 0.984313725490196], BaselinePosition->Baseline, DefaultBaseStyle->{}, FrameMargins->{{0, 0}, {1, 0}}, FrameStyle->RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627], RoundingRadius->4]], {"FunctionResourceBox", RGBColor[0.8745098039215686, 0.2784313725490196, 0.03137254901960784], "SudokuSolve"}, TagBoxNote->"FunctionResourceBox"], ResourceFunction["SudokuSolve"], BoxID -> "SudokuSolve", Selectable->False], "[", GridBox[{ {" ", " ", "8", "1", "7", "6", " ", "2", " "}, {" ", "4", " ", " ", " ", "9", "7", " ", " "}, {" ", " ", " ", " ", " ", " ", " ", " ", " "}, {" ", "7", "1", "8", " ", " ", " ", " ", " "}, {" ", " ", " ", " ", " ", " ", "6", "7", "9"}, {" ", " ", " ", "5", "9", "7", " ", "8", "1"}, {" ", " ", " ", " ", "2", " ", " ", " ", " "}, {" ", "5", "9", " ", " ", " ", " ", "1", " "}, {" ", "1", "4", "6", "5", " ", "3", " ", " "} }, ColumnsEqual->True, GridBoxDividers->{"Columns" -> {True, True, True, AbsoluteThickness[2], True, True, AbsoluteThickness[2], {True}, True}, "ColumnsIndexed" -> {}, "Rows" -> {True, True, True, AbsoluteThickness[2], True, True, AbsoluteThickness[2], {True}, True}, "RowsIndexed" -> {}}, RowsEqual->True], "]"}]], "Input", TaggingRules->{}, CellLabel->"In[101]:=", CellID->271149190], Cell[BoxData[GridBox[{ {"5", "3", "8", "1", "7", "6", "9", "2", "4"}, {"1", "4", "2", "3", "8", "9", "7", "5", "6"}, {"7", "9", "6", "2", "4", "5", "1", "3", "8"}, {"9", "7", "1", "8", "6", "2", "5", "4", "3"}, {"8", "2", "5", "4", "1", "3", "6", "7", "9"}, {"4", "6", "3", "5", "9", "7", "2", "8", "1"}, {"3", "8", "7", "9", "2", "1", "4", "6", "5"}, {"6", "5", "9", "7", "3", "4", "8", "1", "2"}, {"2", "1", "4", "6", "5", "8", "3", "9", "7"} }, ColumnsEqual->True, GridBoxDividers->{"Columns" -> {True, True, True, AbsoluteThickness[2], True, True, AbsoluteThickness[2], {True}, True}, "Rows" -> {True, True, True, AbsoluteThickness[2], True, True, AbsoluteThickness[2], {True}, True}}, RowsEqual->True]], "Output", TaggingRules->{}, CellLabel->"Out[101]=", CellID->516912032] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[TextData[{ "Scope", "\[NonBreakingSpace]", Cell["(1)", "ExampleCount"], "\[NonBreakingSpace]" }], "Subsection", TaggingRules->{}, CellID->964056545], Cell[TextData[{ "If a puzzle cannot be solved, a \"Contradiction\" ", Cell[BoxData[ TagBox[ ButtonBox[ StyleBox["Failure", "SymbolsRefLink", ShowStringCharacters->True, FontFamily->"Source Sans Pro"], BaseStyle->Dynamic[ FEPrivate`If[ CurrentValue["MouseOver"], { "Link", FontColor -> RGBColor[0.854902, 0.396078, 0.145098]}, { "Link"}]], ButtonData->"paclet:ref/Failure", ContentPadding->False], MouseAppearanceTag["LinkHand"]]], "InlineFormula", FontFamily->"Source Sans Pro", FontSize->0.9428571428571428 Inherited], " will be returned:" }], "Text", TaggingRules->{}, CellChangeTimes->{ 3.765640636021764*^9, 3.765641145213428*^9, {3.856968734207917*^9, 3.856968738086503*^9}}, CellID->626706677], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{GridBox[{ {"4", "", "3", "7", "6", "2", "8", "", ""}, {"", "6", "8", "4", "3", "1", "", "7", ""}, {"", "", "", "", "8", "5", "", "3", "6"}, {"3", "2", "6", "8", "", "9", "", "4", ""}, {"", "", "7", "", "2", "", "9", "6", ""}, {"", "5", "", "1", "", "6", "3", "2", ""}, {"", "4", "", "6", "1", "", "", "", ""}, {"", "3", "", "2", "", "7", "6", "9", ""}, {"6", "", "", "", "9", "", "", "", ""} }, ColumnsEqual->True, GridBoxDividers->{"Columns" -> {True, True, True, AbsoluteThickness[2], True, True, AbsoluteThickness[2], {True}, True}, "ColumnsIndexed" -> {}, "Rows" -> {True, True, True, AbsoluteThickness[2], True, True, AbsoluteThickness[2], {True}, True}, "RowsIndexed" -> {}}, RowsEqual->True], "//", InterpretationBox[ TagBox[ DynamicModuleBox[{Typeset`open = False}, FrameBox[ PaneSelectorBox[{False->GridBox[{ { PaneBox[GridBox[{ { StyleBox[ StyleBox[ AdjustmentBox["\<\"[\[FilledSmallSquare]]\"\>", BoxBaselineShift->-0.25, BoxMargins->{{0, 0}, {-1, -1}}], "ResourceFunctionIcon", FontColor->RGBColor[ 0.8745098039215686, 0.2784313725490196, 0.03137254901960784]], ShowStringCharacters->False, FontFamily->"Source Sans Pro Black", FontSize->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["SudokuSolve", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"], ImageSizeCache->{11., {1., 10.}}], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"], ImageSizeCache->{11., {1., 10.}}]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}], True-> GridBox[{ {GridBox[{ { PaneBox[GridBox[{ { StyleBox[ StyleBox[ AdjustmentBox["\<\"[\[FilledSmallSquare]]\"\>", BoxBaselineShift->-0.25, BoxMargins->{{0, 0}, {-1, -1}}], "ResourceFunctionIcon", FontColor->RGBColor[ 0.8745098039215686, 0.2784313725490196, 0.03137254901960784]], ShowStringCharacters->False, FontFamily->"Source Sans Pro Black", FontSize->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["SudokuSolve", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"]], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"]]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}]}, { StyleBox[ PaneBox[GridBox[{ { RowBox[{ TagBox["\<\"Version (latest): \"\>", "IconizedLabel"], " ", TagBox["\<\"1.0.0\"\>", "IconizedItem"]}]}, { TagBox[ TemplateBox[{ "\"Documentation \[RightGuillemet]\"", "https://resources.wolframcloud.com/FunctionRepository/\ resources/SudokuSolve"}, "HyperlinkURL"], "IconizedItem"]} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{5, 4}, {0, 4}}], "DialogStyle", FontFamily->"Roboto", FontSize->11]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxDividers->{"Columns" -> {{None}}, "Rows" -> {False, { GrayLevel[0.8]}, False}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}]}, Dynamic[ Typeset`open], BaselinePosition->Baseline, ImageSize->Automatic], Background->RGBColor[ 0.9686274509803922, 0.9764705882352941, 0.984313725490196], BaselinePosition->Baseline, DefaultBaseStyle->{}, FrameMargins->{{0, 0}, {1, 0}}, FrameStyle->RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627], RoundingRadius->4]], {"FunctionResourceBox", RGBColor[0.8745098039215686, 0.2784313725490196, 0.03137254901960784], "SudokuSolve"}, TagBoxNote->"FunctionResourceBox"], ResourceFunction["SudokuSolve"], BoxID -> "SudokuSolve", Selectable->False]}]], "Input", TaggingRules->{}, CellLabel->"In[114]:=", CellID->187448084], Cell[BoxData[ InterpretationBox[ RowBox[{ TagBox["Failure", "SummaryHead"], "[", DynamicModuleBox[{Typeset`open$$ = False, Typeset`embedState$$ = "Ready"}, TemplateBox[{ PaneSelectorBox[{False -> GridBox[{{ FrameBox[ StyleBox["\"\[WarningSign]\"", Directive["Message", 35], StripOnInput -> False], ContentPadding -> False, FrameStyle -> None, FrameMargins -> {{0, 0}, {0, 0}}, StripOnInput -> False], GridBox[{{ RowBox[{ TagBox[ TemplateBox[{"\"Tag\"", "\": \""}, "RowDefault"], "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["\"Contradiction\"", "SummaryItem"]}]}}, GridBoxAlignment -> { "Columns" -> {{Left}}, "Rows" -> {{Automatic}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings -> {"Columns" -> {{2}}, "Rows" -> {{Automatic}}}, BaseStyle -> { ShowStringCharacters -> False, NumberMarks -> False, PrintPrecision -> 3, ShowSyntaxStyles -> False}]}}, GridBoxAlignment -> {"Rows" -> {{Top}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, BaselinePosition -> {1, 1}], True -> GridBox[{{ FrameBox[ StyleBox["\"\[WarningSign]\"", Directive["Message", 35], StripOnInput -> False], ContentPadding -> False, FrameStyle -> None, FrameMargins -> {{0, 0}, {0, 0}}, StripOnInput -> False], GridBox[{{ RowBox[{ TagBox[ TemplateBox[{"\"Tag\"", "\": \""}, "RowDefault"], "SummaryItemAnnotation"], "\[InvisibleSpace]", TagBox["\"Contradiction\"", "SummaryItem"]}]}}, GridBoxAlignment -> { "Columns" -> {{Left}}, "Rows" -> {{Automatic}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings -> {"Columns" -> {{2}}, "Rows" -> {{Automatic}}}, BaseStyle -> { ShowStringCharacters -> False, NumberMarks -> False, PrintPrecision -> 3, ShowSyntaxStyles -> False}]}}, GridBoxAlignment -> {"Rows" -> {{Top}}}, AutoDelete -> False, GridBoxItemSize -> { "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, BaselinePosition -> {1, 1}]}, Dynamic[Typeset`open$$], ImageSize -> Automatic]}, "SummaryPanel"], DynamicModuleValues:>{}], "]"}], Failure["Contradiction", <||>], Editable->False, SelectWithContents->True, Selectable->False]], "Output", TaggingRules->{}, CellLabel->"Out[114]=", CellID->408270317] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell[TextData[{ "Options", "\[NonBreakingSpace]", Cell["(1)", "ExampleCount"], "\[NonBreakingSpace]" }], "Subsection", TaggingRules->{}, CellID->776923543], Cell[TextData[{ "The option ", Cell[BoxData["\"\\""], "InlineFormula", FontFamily->"Source Sans Pro"], " shows when it was necessary to guess values rather than use pure logic:" }], "Text", TaggingRules->{}, CellChangeTimes->{{3.7656411259045*^9, 3.76564112658702*^9}, { 3.856968746066164*^9, 3.856968757012752*^9}}, CellID->912398747], Cell[CellGroupData[{ Cell[BoxData[ RowBox[{ InterpretationBox[ TagBox[ DynamicModuleBox[{Typeset`open = False}, FrameBox[ PaneSelectorBox[{False->GridBox[{ { PaneBox[GridBox[{ { StyleBox[ StyleBox[ AdjustmentBox["\<\"[\[FilledSmallSquare]]\"\>", BoxBaselineShift->-0.25, BoxMargins->{{0, 0}, {-1, -1}}], "ResourceFunctionIcon", FontColor->RGBColor[ 0.8745098039215686, 0.2784313725490196, 0.03137254901960784]], ShowStringCharacters->False, FontFamily->"Source Sans Pro Black", FontSize->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["SudokuSolve", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"], ImageSizeCache->{11., {1., 10.}}], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"], ImageSizeCache->{11., {1., 10.}}]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}], True-> GridBox[{ {GridBox[{ { PaneBox[GridBox[{ { StyleBox[ StyleBox[ AdjustmentBox["\<\"[\[FilledSmallSquare]]\"\>", BoxBaselineShift->-0.25, BoxMargins->{{0, 0}, {-1, -1}}], "ResourceFunctionIcon", FontColor->RGBColor[ 0.8745098039215686, 0.2784313725490196, 0.03137254901960784]], ShowStringCharacters->False, FontFamily->"Source Sans Pro Black", FontSize->0.6538461538461539 Inherited, FontWeight->"Heavy", PrivateFontOptions->{"OperatorSubstitution"->False}], StyleBox[ RowBox[{ StyleBox["SudokuSolve", "ResourceFunctionLabel"], " "}], ShowAutoStyles->False, ShowStringCharacters->False, FontSize->Rational[12, 13] Inherited, FontColor->GrayLevel[0.1]]} }, GridBoxSpacings->{"Columns" -> {{0.25}}}], Alignment->Left, BaseStyle->{LineSpacing -> {0, 0}, LineBreakWithin -> False}, BaselinePosition->Baseline, FrameMargins->{{3, 0}, {0, 0}}], ItemBox[ PaneBox[ TogglerBox[Dynamic[Typeset`open], {True-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeCloser"]], False-> DynamicBox[FEPrivate`FrontEndResource[ "FEBitmaps", "IconizeOpener"]]}, Appearance->None, BaselinePosition->Baseline, ContentPadding->False, FrameMargins->0], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{1, 1}, {0, 0}}], Frame->{{ RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627, 0.5], False}, {False, False}}]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}, GridBoxSpacings->{"Columns" -> {{0}}, "Rows" -> {{0}}}]}, { StyleBox[ PaneBox[GridBox[{ { RowBox[{ TagBox["\<\"Version (latest): \"\>", "IconizedLabel"], " ", TagBox["\<\"1.0.0\"\>", "IconizedItem"]}]}, { TagBox[ TemplateBox[{ "\"Documentation \[RightGuillemet]\"", "https://resources.wolframcloud.com/FunctionRepository/\ resources/SudokuSolve"}, "HyperlinkURL"], "IconizedItem"]} }, DefaultBaseStyle->"Column", GridBoxAlignment->{"Columns" -> {{Left}}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}], Alignment->Left, BaselinePosition->Baseline, FrameMargins->{{5, 4}, {0, 4}}], "DialogStyle", FontFamily->"Roboto", FontSize->11]} }, BaselinePosition->{1, 1}, GridBoxAlignment->{"Columns" -> {{Left}}, "Rows" -> {{Baseline}}}, GridBoxDividers->{"Columns" -> {{None}}, "Rows" -> {False, { GrayLevel[0.8]}, False}}, GridBoxItemSize->{ "Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}}]}, Dynamic[ Typeset`open], BaselinePosition->Baseline, ImageSize->Automatic], Background->RGBColor[ 0.9686274509803922, 0.9764705882352941, 0.984313725490196], BaselinePosition->Baseline, DefaultBaseStyle->{}, FrameMargins->{{0, 0}, {1, 0}}, FrameStyle->RGBColor[ 0.8313725490196079, 0.8470588235294118, 0.8509803921568627], RoundingRadius->4]], {"FunctionResourceBox", RGBColor[0.8745098039215686, 0.2784313725490196, 0.03137254901960784], "SudokuSolve"}, TagBoxNote->"FunctionResourceBox"], ResourceFunction["SudokuSolve"], BoxID -> "SudokuSolve", Selectable->False], "[", RowBox[{GridBox[{ {"5", "3", "8", "1", "7", "6", " ", "2", " "}, {" ", " ", " ", " ", " ", "9", "7", " ", " "}, {" ", " ", " ", " ", " ", " ", " ", " ", " "}, {" ", "7", "1", "8", " ", " ", " ", " ", " "}, {" ", " ", " ", " ", " ", " ", "6", "7", "9"}, {" ", " ", " ", "5", "9", "7", " ", "8", "1"}, {" ", " ", " ", " ", "2", " ", " ", " ", " "}, {" ", "5", "9", " ", " ", " ", " ", "1", " "}, {" ", "1", "4", "6", "5", " ", "3", " ", " "} }, ColumnsEqual->True, GridBoxDividers->{"Columns" -> {True, True, True, AbsoluteThickness[2], True, True, AbsoluteThickness[2], {True}, True}, "ColumnsIndexed" -> {}, "Rows" -> {True, True, True, AbsoluteThickness[2], True, True, AbsoluteThickness[2], {True}, True}, "RowsIndexed" -> {}}, RowsEqual->True], ",", RowBox[{"\"\\"", "\[Rule]", "True"}]}], "]"}]], "Input", TaggingRules->{}, CellLabel->"In[115]:=", CellID->360099052], Cell[CellGroupData[{ Cell[BoxData[ InterpretationBox[ RowBox[{"\<\"Guessing \"\>", "\[InvisibleSpace]", "2", "\[InvisibleSpace]", "\<\" at \"\>", "\[InvisibleSpace]", RowBox[{"{", RowBox[{"2", ",", "2"}], "}"}]}], SequenceForm["Guessing ", 2, " at ", {2, 2}], Editable->False]], "Print", TaggingRules->{}, CellLabel->"During evaluation of In[104]:=", CellID->299075302], Cell[BoxData[ InterpretationBox[ RowBox[{"\<\"Guessing \"\>", "\[InvisibleSpace]", "3", "\[InvisibleSpace]", "\<\" at \"\>", "\[InvisibleSpace]", RowBox[{"{", RowBox[{"2", ",", "5"}], "}"}]}], SequenceForm["Guessing ", 3, " at ", {2, 5}], Editable->False]], "Print", TaggingRules->{}, CellLabel->"During evaluation of In[104]:=", CellID->945702570], Cell[BoxData[ InterpretationBox[ RowBox[{"\<\"Guessing \"\>", "\[InvisibleSpace]", "6", "\[InvisibleSpace]", "\<\" at \"\>", "\[InvisibleSpace]", RowBox[{"{", RowBox[{"7", ",", "1"}], "}"}]}], SequenceForm["Guessing ", 6, " at ", {7, 1}], Editable->False]], "Print", TaggingRules->{}, CellLabel->"During evaluation of In[104]:=", CellID->982008920] }, Open ]], Cell[BoxData[GridBox[{ {"5", "3", "8", "1", "7", "6", "9", "2", "4"}, {"1", "2", "6", "4", "3", "9", "7", "5", "8"}, {"4", "9", "7", "2", "8", "5", "1", "6", "3"}, {"9", "7", "1", "8", "6", "4", "2", "3", "5"}, {"8", "4", "5", "3", "1", "2", "6", "7", "9"}, {"3", "6", "2", "5", "9", "7", "4", "8", "1"}, {"6", "8", "3", "9", "2", "1", "5", "4", "7"}, {"2", "5", "9", "7", "4", "3", "8", "1", "6"}, {"7", "1", "4", "6", "5", "8", "3", "9", "2"} }, ColumnsEqual->True, GridBoxDividers->{"Columns" -> {True, True, True, AbsoluteThickness[2], True, True, AbsoluteThickness[2], {True}, True}, "Rows" -> {True, True, True, AbsoluteThickness[2], True, True, AbsoluteThickness[2], {True}, True}}, RowsEqual->True]], "Output", TaggingRules->{}, CellLabel->"Out[115]=", CellID->8666108] }, Open ]] }, Closed]] }, ClosingSaveDialog->False, WindowSize->Automatic, WindowMargins->Automatic, WindowTitle->"SudokuSolve | Example Notebook", Visible->False, FrontEndVersion->"13.0 for Mac OS X x86 (64-bit) (December 9, 2021)", StyleDefinitions->Notebook[{ Cell[ StyleData[ StyleDefinitions -> FrontEnd`FileName[{"Wolfram"}, "Reference.nb", CharacterEncoding -> "UTF-8"]]], Cell[ StyleData[All, "Working"], Editable -> True, DockedCells -> {}], Cell[ StyleData["Notebook"], Editable -> True, DockedCells -> {}, ScrollingOptions -> {"VerticalScrollRange" -> Automatic}], Cell[ StyleData[ "Section", StyleDefinitions -> StyleData["PrimaryExamplesSection"]], Editable -> True, ShowGroupOpener -> "Inline", WholeCellGroupOpener -> True], Cell[ StyleData["Subsection", StyleDefinitions -> StyleData["ExampleSection"]], Editable -> True, ShowGroupOpener -> "Inline", WholeCellGroupOpener -> True], Cell[ StyleData[ "Subsubsection", StyleDefinitions -> StyleData["ExampleSubsection"]], Editable -> True, ShowGroupOpener -> "Inline", WholeCellGroupOpener -> True], Cell[ StyleData[ "Subsubsubsection", StyleDefinitions -> StyleData["ExampleSubsubsection"]], Editable -> True, ShowGroupOpener -> "Inline", WholeCellGroupOpener -> True], Cell[ StyleData["Text", StyleDefinitions -> StyleData["ExampleText"]], Editable -> True]}, Visible -> False, FrontEndVersion -> "13.0 for Mac OS X x86 (64-bit) (December 9, 2021)", StyleDefinitions -> "PrivateStylesheetFormatting.nb"] ] (* End of Notebook Content *) (* Internal cache information *) (*CellTagsOutline CellTagsIndex->{} *) (*CellTagsIndex CellTagsIndex->{} *) (*NotebookFileOutline Notebook[{ Cell[CellGroupData[{ Cell[624, 23, 168, 7, 70, "Subsection",ExpressionUUID->"962572c4-20a7-4396-9a92-3179656b7c8e", CellID->462042388], Cell[795, 32, 134, 3, 70, "Text",ExpressionUUID->"02a36dc1-3920-4805-b14d-980c1885c335", CellID->6850855], Cell[CellGroupData[{ Cell[954, 39, 7878, 196, 70, "Input",ExpressionUUID->"985d5d95-970d-4e41-a406-10fb3020982f", CellID->271149190], Cell[8835, 237, 845, 20, 70, "Output",ExpressionUUID->"4114035e-ba0b-4419-a42d-9703ae1cb99d", CellID->516912032] }, Open ]] }, Open ]], Cell[CellGroupData[{ Cell[9729, 263, 159, 7, 70, "Subsection",ExpressionUUID->"e28b82ec-4a01-4397-be81-5a17548e6452", CellID->964056545], Cell[9891, 272, 776, 24, 70, "Text",ExpressionUUID->"7fd48734-ce1b-42fd-b3a4-9f9e766dc88b", CellID->626706677], Cell[CellGroupData[{ Cell[10692, 300, 7851, 197, 70, "Input",ExpressionUUID->"e72bcd40-69ec-4c70-9fc6-86e411c74001", CellID->187448084], Cell[18546, 499, 2976, 64, 70, "Output",ExpressionUUID->"475978ac-0121-4013-899a-022aabe1f095", CellID->408270317] }, Open ]] }, Closed]], Cell[CellGroupData[{ Cell[21571, 569, 161, 7, 70, "Subsection",ExpressionUUID->"b60ca593-8ceb-4bd1-9166-5ef290370910", CellID->776923543], Cell[21735, 578, 357, 9, 70, "Text",ExpressionUUID->"83b18ba5-75b6-456c-95d1-15ad4093e7bc", CellID->912398747], Cell[CellGroupData[{ Cell[22117, 591, 7968, 198, 70, "Input",ExpressionUUID->"ad539a8d-9f2f-4866-a8ac-e74256c2edda", CellID->360099052], Cell[CellGroupData[{ Cell[30110, 793, 371, 10, 70, "Print",ExpressionUUID->"6b19bf59-7e3b-4d57-894c-aa5f4ef7152f", CellID->299075302], Cell[30484, 805, 371, 10, 70, "Print",ExpressionUUID->"e9ad559b-25c0-44fd-8a47-2bdd5056cf31", CellID->945702570], Cell[30858, 817, 371, 10, 70, "Print",ExpressionUUID->"4cce7469-75ad-4783-9843-79214966870f", CellID->982008920] }, Open ]], Cell[31244, 830, 843, 20, 70, "Output",ExpressionUUID->"b2c86b12-0be0-4e0e-b423-d165b605cb4b", CellID->8666108] }, Open ]] }, Closed]] } ] *) (* End of internal cache information *)