A sudoku solver written in PHP