How to Solve Verbal Arithmetic with Constraint Programming in Java?