SUDOKU SOLVER IN PROLOG

For this program, i used prolog the Constraint Logic Programming over Finite Domains (CLPFD) library.

Run

To run the .pl file on SWI-prolog compiler, go to it then run the following command

  swipl -l sudoku_solver.pl
  ?- solver('sudoku-puzzle-input/name_sudoku.txt', 'sudoku-puzzle-output/name_sudoku.txt').

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
sudoku-puzzle-input		sudoku-puzzle-input
sudoku-puzzle-output		sudoku-puzzle-output
README.md		README.md
sudoku_solver.pl		sudoku_solver.pl
sudoku_utils.pl		sudoku_utils.pl