Safe Haskell | None |
---|---|
Language | Haskell98 |
Jukebox.Tools.HornToUnit
Description
Encodes Horn problems as unit equalities.
Documentation
Constructors
HornFlags | |
Fields |
Constructors
Symmetric | |
Asymmetric1 | |
Asymmetric2 | |
Asymmetric3 |
hornToUnit :: HornFlags -> Problem Clause -> IO (Either (Input Clause) (Either Answer (Problem Clause))) Source #
eliminateHornClauses :: HornFlags -> Problem Clause -> Either (Input Clause) (Problem Clause) Source #