TPTP project metrix

From Eclipsepedia

Jump to: navigation, search

TPTP 4.7

  • Number of plugins: 105
  • Number of features: 43
  • Total size of TPTP runtime: ~78M (~38M when compressed in zips)
  • Number of committers across all projects: 13 (9 active)
  • Detail bug report on TPTP 4.7

This project metric will be updated with more detail closer to Helios ship dates.