Satyros.DPLL.Backtrace

Documentation

backtrace :: Functor f => Clause -> DPLL s f ()

backtraceCompleteHandler :: Functor f => Clause -> Literal -> DPLL s f ()