Safe Haskell | None |
---|---|
Language | Haskell2010 |
Encodes Horn problems as unit equalities.
Documentation
Instances
hornToUnit :: HornFlags -> Problem Clause -> IO (Either (Input Clause) (Either Answer (Problem Clause))) Source #
eliminateHornClauses :: HornFlags -> Problem Clause -> Either (Input Clause) (Problem Clause) Source #