monadiccp-0.6: Constraint Programming