Dependencies for logic-classes-1.7.1
Libraries
logic-classes
- applicative-extras
- atp-haskell
- base (>=4.3 && <5)
- containers
- HUnit
- mtl
- parsec
- pretty (>=1.1.2)
- PropLogic
- safe
- safecopy
- set-extra
- syb
- template-haskell
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| local-atp-haskell | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info