Not all implementations suffer from these. There are some that guarantee that guessing will never be forced to guess and logical deduction is enough to solve a

Not all implementations suffer from these. There are some that guarantee that guessing will never be forced to guess and logical deduction is enough to solve any puzzle. For example, the Mines game in Simon Tatham's Portable Puzzle Collection.