Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/muneeb706/sudoku-solver
A program which will read a sudoku puzzle from a file (some examples are sudoku1.txt, sudoku2.txt, etc) and generate clauses in the DIMACS format for each sudoku puzzle in the files sudokuN.cnf, where N = 1, 2, ..., 5.
https://github.com/muneeb706/sudoku-solver
cnf dimacs latin-square logic-in-computer-science python
Last synced: 19 days ago
JSON representation
A program which will read a sudoku puzzle from a file (some examples are sudoku1.txt, sudoku2.txt, etc) and generate clauses in the DIMACS format for each sudoku puzzle in the files sudokuN.cnf, where N = 1, 2, ..., 5.
- Host: GitHub
- URL: https://github.com/muneeb706/sudoku-solver
- Owner: muneeb706
- Created: 2020-03-18T05:36:01.000Z (almost 5 years ago)
- Default Branch: master
- Last Pushed: 2020-03-25T22:24:34.000Z (over 4 years ago)
- Last Synced: 2024-10-16T07:45:09.246Z (2 months ago)
- Topics: cnf, dimacs, latin-square, logic-in-computer-science, python
- Language: Python
- Size: 2.03 MB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0