monadiccp-0.7.7: Constraint Programming
Control.Search.Combinator.Post
post :: ConstraintGen -> Search -> Search Source #