monadiccp-0.7.6: Constraint Programming
Control.Search.Combinator.Until
until :: Stat -> Search -> Search -> SearchSource
limit :: Int32 -> Stat -> Search -> SearchSource
glimit :: Stat -> Search -> SearchSource