monadiccp-0.4.1: Package for Constraint Programming