An automatic solver for the numbers puzzle. See http://gaz-v-pol.livejournal.com/146153.html