The latest version of logic-TPTP is 0.6.0.0-0.
lib:logic-TPTP
Modules
Dependencies
- QuickCheck lib:QuickCheck >=2
- ansi-wl-pprint lib:ansi-wl-pprint <1.0
- array lib:array >=0
- base lib:base >=4 && <5
- containers lib:containers >=0
- mtl lib:mtl <2.3
- pointed lib:pointed >=0
- semigroups lib:semigroups >=0
- syb lib:syb >=0
- transformers lib:transformers >=0
- transformers-compat lib:transformers-compat >=0.5
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