monadiccp-gecode-0.1: Constraint Programming