cflp-2009.1.24: Constraint Functional-Logic Programming in Haskell
CFLP.Strategies.DepthFirst
dfsWithEvalTimeChoice :: Monadic (UpdateT c []) ()Source