sudoku_solver_with_SAT
daniloaleixo
Projeto realizado para matéria de Métodos Formais - O programa deve receber um arquivo de entrada que represente a situação inicial de um jogo de sudoku e, à partir dele, gerar uma fórmula lógica para servir de entrada ao programa "zchaff", resolvedor SAT
Growth over time
6 data points · 2021-08-01 → 2023-02-01How do you feel about this project?
Ask AI about sudoku_solver_with_SAT
Question copied to clipboardWhat is the daniloaleixo/sudoku_solver_with_SAT GitHub project? Description: "Projeto realizado para matéria de Métodos Formais - O programa deve receber um arquivo de entrada que represente a situação inicial de um jogo de sudoku e, à partir dele, gerar uma fórmula lógica para servir de entrada ao programa "zchaff", resolvedor SAT". Written in C. Explain what it does, its main use cases, key features, and who would benefit from using it.
Question is copied to clipboard — paste it after the AI opens.
How to clone sudoku_solver_with_SAT
Clone via HTTPS
Clone via SSH
Download ZIP
Download master.zipFound an issue?
Report bugs or request features on the sudoku_solver_with_SAT issue tracker:
Open GitHub Issues