Constraint-based Algorithms in Java: the JCL