mainform.designer.cs

Sudoku as a CSP: Using algorithms and techniques from CSP to solve an NxN Sudoku puzzle.

            this.ExitButton.ForeColor = System.Drawing.SystemColors.ControlText;
            this.ExitButton.Location = new System.Drawing.Point(593, 750);
            this.ExitButton.Name = "ExitButton";
            this.ExitButton.Size = new System.Drawing.Size(75, 23);
            this.ExitButton.TabIndex = 11;
            this.ExitButton.Text = "Exit";
            this.ExitButton.UseVisualStyleBackColor = false;
            this.ExitButton.Click += new System.EventHandler(this.ExitButton_Click);
            // 
            // groupBox1
            // 
            this.groupBox1.BackColor = System.Drawing.SystemColors.ControlLight;
            this.groupBox1.Controls.Add(this.AllCon);
            this.groupBox1.Controls.Add(this.ConPropList);
            this.groupBox1.Controls.Add(this.label4);
            this.groupBox1.Controls.Add(this.AllVals);
            this.groupBox1.Controls.Add(this.AllVar);
            this.groupBox1.Controls.Add(this.ValList);
            this.groupBox1.Controls.Add(this.VarList);
            this.groupBox1.Controls.Add(this.label3);
            this.groupBox1.Controls.Add(this.label2);
            this.groupBox1.Controls.Add(this.LogText);
            this.groupBox1.Controls.Add(this.GridLevelCombo);
            this.groupBox1.Controls.Add(this.GridSizeCombo);
            this.groupBox1.Controls.Add(this.ClearLogButton);
            this.groupBox1.Controls.Add(this.GenGridButton);
            this.groupBox1.Controls.Add(this.ClearSolButton);
            this.groupBox1.Controls.Add(this.ClearButton);
            this.groupBox1.Controls.Add(this.SolveButton);
            this.groupBox1.Location = new System.Drawing.Point(12, 562);
            this.groupBox1.Name = "groupBox1";
            this.groupBox1.Size = new System.Drawing.Size(656, 179);
            this.groupBox1.TabIndex = 12;
            this.groupBox1.TabStop = false;
            this.groupBox1.Text = "Undifined Puzzle";
            // 
            // AllCon
            // 
            this.AllCon.AutoSize = true;
            this.AllCon.Location = new System.Drawing.Point(15, 43);
            this.AllCon.Name = "AllCon";
            this.AllCon.Size = new System.Drawing.Size(37, 17);
            this.AllCon.TabIndex = 32;
            this.AllCon.Text = "All";
            this.AllCon.UseVisualStyleBackColor = true;
            this.AllCon.CheckedChanged += new System.EventHandler(this.AllCon_CheckedChanged);
            // 
            // ConPropList
            // 
            this.ConPropList.BorderStyle = System.Windows.Forms.BorderStyle.None;
            this.ConPropList.FormattingEnabled = true;
            this.ConPropList.Items.AddRange(new object[] {
            "None.",
            "FC",
            "FC+AC3"});
            this.ConPropList.Location = new System.Drawing.Point(66, 29);
            this.ConPropList.Name = "ConPropList";
            this.ConPropList.Size = new System.Drawing.Size(98, 45);
            this.ConPropList.TabIndex = 31;
            // 
            // label4
            // 
            this.label4.AutoSize = true;
            this.label4.BackColor = System.Drawing.SystemColors.ButtonHighlight;
            this.label4.Location = new System.Drawing.Point(6, 27);
            this.label4.Name = "label4";
            this.label4.Size = new System.Drawing.Size(54, 13);
            this.label4.TabIndex = 30;
            this.label4.Text = "Con-Prop:";
            // 
            // AllVals
            // 
            this.AllVals.AutoSize = true;
            this.AllVals.Location = new System.Drawing.Point(442, 43);
            this.AllVals.Name = "AllVals";
            this.AllVals.Size = new System.Drawing.Size(37, 17);
            this.AllVals.TabIndex = 29;
            this.AllVals.Text = "All";
            this.AllVals.UseVisualStyleBackColor = true;
            this.AllVals.CheckedChanged += new System.EventHandler(this.AllVals_CheckedChanged);
            // 
            // AllVar
            // 
            this.AllVar.AutoSize = true;
            this.AllVar.Location = new System.Drawing.Point(196, 43);
            this.AllVar.Name = "AllVar";
            this.AllVar.Size = new System.Drawing.Size(37, 17);
            this.AllVar.TabIndex = 28;
            this.AllVar.Text = "All";
            this.AllVar.UseVisualStyleBackColor = true;
            this.AllVar.CheckedChanged += new System.EventHandler(this.AllVar_CheckedChanged);
            // 
            // ValList
            // 
            this.ValList.BorderStyle = System.Windows.Forms.BorderStyle.None;
            this.ValList.FormattingEnabled = true;
            this.ValList.Items.AddRange(new object[] {
            "None(lexicographic)",
            "Least Constraint Value"});
            this.ValList.Location = new System.Drawing.Point(504, 27);
            this.ValList.Name = "ValList";
            this.ValList.Size = new System.Drawing.Size(137, 45);
            this.ValList.TabIndex = 13;
            // 
            // VarList
            // 
            this.VarList.BorderStyle = System.Windows.Forms.BorderStyle.None;
            this.VarList.FormattingEnabled = true;
            this.VarList.Items.AddRange(new object[] {
            "None(First Unassigned Val)",
            "Min Remeining Values",
            "MRV+MD"});
            this.VarList.Location = new System.Drawing.Point(254, 29);
            this.VarList.Name = "VarList";
            this.VarList.Size = new System.Drawing.Size(161, 45);
            this.VarList.TabIndex = 27;
            // 
            // label3
            // 
            this.label3.AutoSize = true;
            this.label3.BackColor = System.Drawing.SystemColors.ButtonHighlight;
            this.label3.Location = new System.Drawing.Point(421, 27);
            this.label3.Name = "label3";
            this.label3.Size = new System.Drawing.Size(77, 13);
            this.label3.TabIndex = 25;
            this.label3.Text = "Val Heuristics :";
            // 
            // label2
            // 
            this.label2.AutoSize = true;
            this.label2.BackColor = System.Drawing.SystemColors.ButtonHighlight;
            this.label2.Location = new System.Drawing.Point(170, 27);
            this.label2.Name = "label2";
            this.label2.Size = new System.Drawing.Size(78, 13);
            this.label2.TabIndex = 19;
            this.label2.Text = "Var Heuristics :";
            // 
            // GridLevelCombo
            // 
            this.GridLevelCombo.FormattingEnabled = true;
            this.GridLevelCombo.Items.AddRange(new object[] {
            "Easy",
            "Medium",
            "Hard"});
            this.GridLevelCombo.Location = new System.Drawing.Point(362, 146);
            this.GridLevelCombo.Name = "GridLevelCombo";
            this.GridLevelCombo.Size = new System.Drawing.Size(67, 21);
            this.GridLevelCombo.TabIndex = 15;
            this.GridLevelCombo.SelectedIndexChanged += new System.EventHandler(this.GridLevelCombo_SelectedIndexChanged);
            // 
            // GridSizeCombo
            // 
            this.GridSizeCombo.FormattingEnabled = true;
            this.GridSizeCombo.Items.AddRange(new object[] {
            "4x4",
            "9x9",
            "16x16",
            "25x25"});
            this.GridSizeCombo.Location = new System.Drawing.Point(296, 146);
            this.GridSizeCombo.Name = "GridSizeCombo";
            this.GridSizeCombo.Size = new System.Drawing.Size(60, 21);
            this.GridSizeCombo.TabIndex = 14;
            this.GridSizeCombo.SelectedIndexChanged += new System.EventHandler(this.GridSizeCombo_SelectedIndexChanged);
            // 
            // ClearLogButton
            // 
            this.ClearLogButton.Location = new System.Drawing.Point(581, 146);
            this.ClearLogButton.Name = "ClearLogButton";
            this.ClearLogButton.Size = new System.Drawing.Size(60, 23);
            this.ClearLogButton.TabIndex = 13;
            this.ClearLogButton.Text = "Clear Log";
            this.ClearLogButton.UseVisualStyleBackColor = true;
            this.ClearLogButton.Click += new System.EventHandler(this.ClearLogButton_Click);
            // 
            // timoutCombo
            // 
            this.timoutCombo.FormattingEnabled = true;
            this.timoutCombo.Location = new System.Drawing.Point(75, 741);
            this.timoutCombo.Name = "timoutCombo";
            this.timoutCombo.Size = new System.Drawing.Size(66, 21);
            this.timoutCombo.TabIndex = 18;
            this.timoutCombo.SelectedIndexChanged += new System.EventHandler(this.timoutCombo_SelectedIndexChanged);
            // 
            // label1
            // 
            this.label1.AutoSize = true;
            this.label1.BackColor = System.Drawing.SystemColors.ButtonHighlight;
            this.label1.Location = new System.Drawing.Point(18, 744);
            this.label1.Name = "label1";
            this.label1.Size = new System.Drawing.Size(51, 13);
            this.label1.TabIndex = 17;
            this.label1.Text = "Timeout :";
            // 
            // MainForm
            // 
            this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
            this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
            this.ClientSize = new System.Drawing.Size(680, 785);
            this.Controls.Add(this.ExitButton);
            this.Controls.Add(this.menuStrip1);
            this.Controls.Add(this.groupBox1);
            this.Controls.Add(this.label1);
            this.Controls.Add(this.timoutCombo);
            this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon")));
            this.MainMenuStrip = this.menuStrip1;
            this.MaximizeBox = false;
            this.MaximumSize = new System.Drawing.Size(688, 819);
            this.MinimumSize = new System.Drawing.Size(688, 819);
            this.Name = "MainForm";
            this.Text = "Sudoku Solver";
            this.menuStrip1.ResumeLayout(false);
            this.menuStrip1.PerformLayout();
            this.groupBox1.ResumeLayout(false);
            this.groupBox1.PerformLayout();
            this.ResumeLayout(false);
            this.PerformLayout();

        }

        #endregion

        private System.Windows.Forms.MenuStrip menuStrip1;
        private System.Windows.Forms.ToolStripMenuItem fileToolStripMenuItem;
        private System.Windows.Forms.ToolStripMenuItem exitToolStripMenuItem;
        private System.Windows.Forms.ToolStripMenuItem generateToolStripMenuItem;
        private System.Windows.Forms.ToolStripMenuItem helpToolStripMenuItem;
        private System.Windows.Forms.ToolStripMenuItem aboutToolStripMenuItem;
        private System.Windows.Forms.Button ClearButton;
        private System.Windows.Forms.Button SolveButton;
        private System.Windows.Forms.Button ClearSolButton;
        private System.Windows.Forms.RichTextBox LogText;
        private System.Windows.Forms.Button GenGridButton;
        private System.Windows.Forms.Button ExitButton;
        private System.Windows.Forms.ToolStripMenuItem sizeToolStripMenuItem;
        private System.Windows.Forms.ToolStripMenuItem x4ToolStripMenuItem;
        private System.Windows.Forms.ToolStripMenuItem x9ToolStripMenuItem;
        private System.Windows.Forms.ToolStripMenuItem x16ToolStripMenuItem;
        private System.Windows.Forms.ToolStripMenuItem x25ToolStripMenuItem;
        private System.Windows.Forms.ToolStripMenuItem levelToolStripMenuItem;
        private System.Windows.Forms.ToolStripMenuItem easyToolStripMenuItem1;
        private System.Windows.Forms.ToolStripMenuItem mediumToolStripMenuItem1;
        private System.Windows.Forms.ToolStripMenuItem hardToolStripMenuItem1;
        private System.Windows.Forms.ToolStripSeparator toolStripSeparator1;
        private System.Windows.Forms.ToolStripMenuItem randomToolStripMenuItem;
        private System.Windows.Forms.GroupBox groupBox1;
        private System.Windows.Forms.Button ClearLogButton;
        private System.Windows.Forms.ComboBox GridSizeCombo;
        private System.Windows.Forms.ComboBox GridLevelCombo;
        private System.Windows.Forms.Label label1;
        private System.Windows.Forms.ComboBox timoutCombo;
        private System.Windows.Forms.Label label2;
        private System.Windows.Forms.Label label3;
        private System.Windows.Forms.CheckedListBox ValList;
        private System.Windows.Forms.CheckedListBox VarList;
        private System.Windows.Forms.CheckBox AllVals;
        private System.Windows.Forms.CheckBox AllVar;
        private System.Windows.Forms.CheckedListBox ConPropList;
        private System.Windows.Forms.Label label4;
        private System.Windows.Forms.CheckBox AllCon;
    }
}