monadiccp-0.7.7: Constraint Programming

Safe HaskellNone
LanguageHaskell98

Control.Search.Combinator.Until

Documentation

until :: Stat -> Search -> Search -> Search Source #

limit :: Int32 -> Stat -> Search -> Search Source #

glimit :: Stat -> Search -> Search Source #