Diogo Cruz diogohmcruz
🏠
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /** | |
| * Sudoku solver using Constraint Logic Programming over Finite Domains (CLP(FD)). | |
| * | |
| * This program defines a `sudoku/1` predicate that solves a Sudoku puzzle. | |
| * The input is a list of lists representing the Sudoku rows, where `_` represents empty cells. | |
| * The program uses constraints to ensure that each number from 1 to 9 appears exactly once in each of the classic | |
| * sudoku constraints: row, column, and 3x3 block. | |
| * | |
| * Requirements: | |
| * - SWI-Prolog with the CLP(FD) library installed. |