Hacker News Reader

The source code (mines.c) is here:

There is code for solving a grid using deductions in this section:

And below that is the code that generates grids and checks that they are solvable without taking risks.

A similar approach is used to analyse the difficulty of Sudoku games here:

with different names for the different types of deduction.