Okay, the above links have been updated. It now detects naked n-groups and hidden n-groups and is able to solve many puzzles it couldn't before. Although I've never seen it detect more than a naked double.... X-Wing configurations will take more work, and I'm not sure how to do forcing chains or multicoloring algorithmically. And the generator still sucks.