Improved MiniZinc Cryptarithms

Previously, I posted an experiment in solving cryptarithms with Python and MiniZinc. I've just put an improved version on GitHub, since I figured out how to generalize the problem somewhat—Python now just converts your problem into a dictionary and feeds that to an existing script that doesn't have to change. This new model still has some rough edges—artifacts of the learning process—but it works well enough.