monadiccp-0.6.1: Constraint Programming