Safe Haskell | None |
---|---|
Language | Haskell98 |
Jukebox.Tools.HornToUnit
Description
Encodes Horn problems as unit equalities.
Documentation
Constructors
HornFlags | |
Fields |
jukebox-0.3: A first-order reasoning toolbox
Safe Haskell | None |
---|---|
Language | Haskell98 |
Jukebox.Tools.HornToUnit
Description
Encodes Horn problems as unit equalities.
Constructors
HornFlags | |
Fields |