Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
TPTP project metrix
Revision as of 23:28, 21 April 2010 by Kathy.ca.ibm.com (Talk | contribs)
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.