Java Constraint Programming (JaCoP) solver for MiniZinc.