Package JaCoP.constraints.regular