Satyros.DPLL.Backtrace
backtrace :: Functor f => Clause -> DPLL s f () Source #
backtraceCompleteHandler :: Functor f => Clause -> Literal -> DPLL s f () Source #