A mini-project about generating Sudoku grids in Promela (Done during my Master studies)