Sudoku controller now using SINGLE_PLAYER_STATE as model. SINGLE_PLAYER_STATE api updated.
Merge branch 'master' of https://github.com/nmaguirre/eiffel-sudoku
botton close in GUI/MAIN_WINDOW/ABOUT_LOAD class and GUI/MAIN_WINDOW/ABOUT_SKIN and delete save as
Merge branch 'master' of https://github.com/nmaguirre/eiffel-sudoku
Update sudoku_ai_test.e
Update random_number_test.e
Update sudoku_ai_test.e
Update sudoku_hint.e
add invariant in sudoku_hint
fix changues sudoku_board to single_player_state
Merge branch 'fixSaveLoad'
skin added
I update clock funcitonalities implementation
add contract to the delete_cells method
add contract to the swap method
implement feature send_cell_position and receive_cell_position in class SUDOKU_SERVER and SUDOKU_CLIENT

issue #231
Update sudoku_ai.e
Update sudoku_ai.e
add contract in sudoku_ai class
Update sudoku_ai.e