The latest version of logic-TPTP is 0.5.1.0-0.
lib:logic-TPTP
Modules
Dependencies
- QuickCheck lib:QuickCheck >=2
- ansi-wl-pprint lib:ansi-wl-pprint >=0
- array lib:array >=0
- base lib:base >=4 && <5
- containers lib:containers >=0
- mtl lib:mtl >=0
- syb lib:syb >=0
- utf8-prelude lib:utf8-prelude >=0
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- logic-TPTP exe:ParseRandom
- logic-TPTP exe:PrettyPrintFile
- logic-TPTP exe:TestImportExportImportFile
- logic-TPTP test:TestImportExportRandom
- toysolver exe:toyfmf