The latest version of logic-TPTP is 0.6.0.0-0.
exe:ParseRandom
Dependencies
- QuickCheck lib:QuickCheck >=0
- ansi-wl-pprint lib:ansi-wl-pprint >=0
- base lib:base >=0
- bytestring lib:bytestring >=0
- containers lib:containers >=0
- logic-TPTP lib:logic-TPTP >=0
- mtl lib:mtl >=0
- pcre-light lib:pcre-light <0.4.1 && >=0
- process lib:process >=0
- semigroups lib:semigroups >=0
- syb lib:syb >=0
Reverse dependencies
None.