How to Solve Verbal Arithmetic with Constraint Programming in Java with Choco3? Project : Eclipse Java EE IDE for Web Developers. Eclipse : Mars Release (4.5.0) Build id : 20150621-1200 Java Version : JRE 8