Satyros.DPLL.Decision
decision :: Functor f => DPLL s f () Source #
decisionResultHandler :: Functor f => Literal -> DPLL s f () Source #