satyros-0.2.2.1: Step-by-step SAT solver for educational purposes
Safe HaskellNone
LanguageHaskell2010

Satyros.DPLL.Decision

Documentation

decision :: Functor f => DPLL s f () Source #

decisionResultHandler :: Functor f => Literal -> DPLL s f () Source #