Abstract
This paper describes a program for solving a class of ‘word sum’ or ‘cryptarithm’ puzzles by a heuristic tree searching method. Formally the problem is to solve a set of simultaneous linear inequalities with the variables taking integer values.