Text this: Solving finite domain hierarchical constraint optimization problems /