BETAmodules.com is in beta — open to partnerships & joint ventures.Build with us

tptp

v1.0.1npm· JavaScript

Connecting to the TPTP Problem Library

The verdict
Abandoned. Last published over a year ago. No recent activity — look for a maintained alternative.
No recent activity — look for a maintained alternative.
Live from the npm registry · derived rules, not AI
How it scores
MaintenanceAbandoned
PopularityNiche
SecurityClean
LicensePermissive
DepsZero deps
Maintenance
Last published over a year ago.
Popularity
18 downloads / week
Security
No known advisories for this version (OSV).
License
BSD
Dependencies
No runtime dependencies
Recent releases
  • 1.0.1over a year ago
  • 1.0.03 years ago
  • 0.6.16 years ago
  • 0.6.07 years ago
  • 0.5.37 years ago
  • 0.5.28 years ago
  • 0.5.110 years ago
  • 0.5.010 years ago