Minesweeper Solver

After playing Minesweeper for a while, I felt like to explore deep constrains and hidden influences inside this game. So I implemented a solver that: - extracts and simplifies overlapping constraint groups, - makes a first rough calculation, - and accounts for the influence of other groups to compute a real probability for each cell.