Heh, my solver looks for the word most likely to eliminate as much as possible while still meeting the constraints already learned. It is super hacky but was amusing to write last night :D