You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Robin Thoni 25d9f527f3 renamed INextValueCHooser 7 lat temu
.idea/.idea.uqac-ia-sudoku-csp added stats 7 lat temu
sample added samples; added MRV strategy 7 lat temu
uqac-ia-sudoku-csp renamed INextValueCHooser 7 lat temu
.gitignore init 7 lat temu
AUTHORS README 7 lat temu
README.md README 7 lat temu
uqac-ia-sudoku-csp.sln init 7 lat temu

README.md

CSP Sudoku Solver

This is a sudoku solver using Constraint Satisfaction Problem pattern.

Build

  • Command line

    cd uqac-ia-aspirobot
    dotnet restore
    dotnet build
    dotnet run
    
  • Visual Studio
    Run VS, open solution, wait for package restore, click run (F5)

  • Rider
    Run Rider, open solution, wait for package restore, click run (Shift + F10)

Configuration

The program allows 3 optional arguments:

  • Generator type: The generator to use to create/load the sudoku. Possible values:
    • ’-’ (default): Read from std input
    • ‘0’: Empty sudoku
    • filename: load from the specified file
  • Next value chooser: The way to select next value to fill. Possible values:
    • ‘mrv’ (default): Use the Minimum remaining values strategy
    • ‘basic’: Select the first blank value, from up to down and left to right
  • Empty characters: The characters that should be considered as empty cell. Default value: ‘0 .’

Code

This solver is coded in .NET Core (C#) using interfaces to abstract implementation.
Interfaces are in Interfaces/*.cs
Constraints are in Solver/Constraints/*.cs
Sudoku loaders/generators are in Solver/Generators/*.cs
Strategies for choosing next value are in Solver/NextValueChoosers/*.cs
Backtracking search algrithm is in Solver/BacktrackSearch.cs