Sudoku_solver = main, usage: python sudoku_solver <instances file>. Encoder and decoder, and sudoku instances for testing.