monadiccp (hackage): Monadic Constraint Programming framework
Keywords: bsd3|control|library