raynalm / sudoku_solver Public

Notifications You must be signed in to change notification settings
Fork 1
Star 0

Exemple minimal d'un programme résolvant des sudokus via une modélisation en logique booléenne.

0 stars 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
grids		grids
README.md		README.md
main.py		main.py
sudoku_solver.py		sudoku_solver.py

Repository files navigation

sudoku_solver

Exemple minimal d'un programme résolvant des sudokus via une modélisation en logique booléenne.

Installation:

Necessite d'avoir python3 ainsi que minisat installés.

Utilisation:

./main.py path\_to\_grid, donc par exemple ./main.py grids/grid1.in

About

Exemple minimal d'un programme résolvant des sudokus via une modélisation en logique booléenne.

Report repository

Releases

No releases published

Packages

No packages published

Languages

Python 100.0%