Minestein is a new Minesweeper game that has puzzles that can be
solved entirely by logic - no guessing is required. It has a two stage
hint system and can provide puzzles with a minimum difficulty rating
as measured in 3BV scores. Runs on Linux, Windows and probably Macs.
Requires Python and Python-tk. The source code is included.
http://sourgumdrop.org.uk/minestein_1.html