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

Satyros.DPLL.BCP

Documentation

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