Dependencies for atp-0.1.0.0
Libraries
atp
- ansi-wl-pprint (>=0.6.6 && <0.7)
- base (>=4.8 && <5.0)
- containers (>=0.5.11 && <0.7)
- mtl (>=2.2 && <3.0)
- process (>=1.6.3 && <1.7)
- text (>=1.2.3 && <1.3)
- tptp (>=0.1.3 && <0.2)
- if impl(ghc<8)
- semigroups (>=0.18 && <1.0)
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| werror | Disabled | |
| provers | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info