Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / DanielSchuessler / logic-TPTP
Import, export etc. for TPTP, a syntax for first-order logic
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/DanielSchuessler%2Flogic-TPTP
Stars: 3
Forks: 2
Open Issues: 5
License: gpl-3.0
Language: Haskell
Repo Size: 194 KB
Dependencies:
28
Created: almost 10 years ago
Updated: 12 months ago
Last pushed: 12 months ago
Last synced: 12 months ago
Files
Loading...
Readme
Loading...
Dependencies
logic-TPTP.cabal
hackage
- QuickCheck *
- QuickCheck >=2
- ansi-wl-pprint *
- array *
- base ==4.*
- base *
- bytestring *
- containers *
- logic-TPTP *
- mtl *
- optparse-applicative >=0.11 && <0.17
- pcre-light <0.4.1
- pcre-light *
- pointed *
- process *
- semigroups *
- syb *
- transformers *
- transformers-compat >=0.5
- QuickCheck * test
- ansi-wl-pprint * test
- base * test
- logic-TPTP * test
- pcre-light * test
- pcre-light <0.4.1 test
- semigroups * test
- transformers * test
- transformers-compat >=0.5 test