We are looking for contributions and feedback on any component in TPTP:
If a component that you are interested in is not in the list above, please open a bugzilla, adjusting the fields as necessary, and attach your proposed contribution to the bugzilla. A TPTP representative will contact you.
Some work in TPTP is important but the core TPTP team doesn't have the time to do it. Do you? Take a look at the TPTP bugzillas marked with the keyword helpwanted. If you can contribute, please add a comment or attachment to the enhancement.
Back to the top