monadiccp-0.7.6: Constraint Programming
Control.Search.Combinator.Post
post :: ConstraintGen -> Search -> SearchSource