CSP C++ Constraint Satisfaction Problem Solving. This program attepnts to solve cryptarithmetic where letters are associated to numbers in "word" math problems. The most famous is probably this one. COCA + COLA = OASIS