├── LICENSE ├── README.md ├── imgs ├── formal_generated.png ├── formal_given_board.png ├── formal_solved_board.png ├── grid.png ├── gtkwave_formal_generated.png ├── gtkwave_row.png ├── gtkwave_row_col.png ├── show_col.png ├── show_row.png ├── show_zone.png ├── sim_excercise.png ├── sim_row.png └── sim_row_col.png ├── sudoku.py ├── sudoku.sby └── util.py /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmunoz82/sudoku-challenge/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmunoz82/sudoku-challenge/HEAD/README.md -------------------------------------------------------------------------------- /imgs/formal_generated.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmunoz82/sudoku-challenge/HEAD/imgs/formal_generated.png -------------------------------------------------------------------------------- /imgs/formal_given_board.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmunoz82/sudoku-challenge/HEAD/imgs/formal_given_board.png -------------------------------------------------------------------------------- /imgs/formal_solved_board.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmunoz82/sudoku-challenge/HEAD/imgs/formal_solved_board.png -------------------------------------------------------------------------------- /imgs/grid.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmunoz82/sudoku-challenge/HEAD/imgs/grid.png -------------------------------------------------------------------------------- /imgs/gtkwave_formal_generated.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmunoz82/sudoku-challenge/HEAD/imgs/gtkwave_formal_generated.png -------------------------------------------------------------------------------- /imgs/gtkwave_row.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmunoz82/sudoku-challenge/HEAD/imgs/gtkwave_row.png -------------------------------------------------------------------------------- /imgs/gtkwave_row_col.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmunoz82/sudoku-challenge/HEAD/imgs/gtkwave_row_col.png -------------------------------------------------------------------------------- /imgs/show_col.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmunoz82/sudoku-challenge/HEAD/imgs/show_col.png -------------------------------------------------------------------------------- /imgs/show_row.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmunoz82/sudoku-challenge/HEAD/imgs/show_row.png -------------------------------------------------------------------------------- /imgs/show_zone.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmunoz82/sudoku-challenge/HEAD/imgs/show_zone.png -------------------------------------------------------------------------------- /imgs/sim_excercise.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmunoz82/sudoku-challenge/HEAD/imgs/sim_excercise.png -------------------------------------------------------------------------------- /imgs/sim_row.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmunoz82/sudoku-challenge/HEAD/imgs/sim_row.png -------------------------------------------------------------------------------- /imgs/sim_row_col.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmunoz82/sudoku-challenge/HEAD/imgs/sim_row_col.png -------------------------------------------------------------------------------- /sudoku.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmunoz82/sudoku-challenge/HEAD/sudoku.py -------------------------------------------------------------------------------- /sudoku.sby: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmunoz82/sudoku-challenge/HEAD/sudoku.sby -------------------------------------------------------------------------------- /util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vmunoz82/sudoku-challenge/HEAD/util.py --------------------------------------------------------------------------------