This seems to be a good place to inquire about them. I randomly ran into the "einstein's riddle" one last week and got more interested in it than I should have, and well, by the end of the weekend I had a working program for doing logic problems. If anyone's interested, I can compile a build or two (should be able to target windows, mac, and linux may even work) if anyone's interested in playing with it. It's still much a work in progress.
