monadiccp-0.7.6: Constraint Programming