The TPTP World - Ad Meliora

Who, Where, What

• It's been my Baby
• TU München, James Cook U., U. Miami
• Help from Many People, a few Long Term
• NSF funding
• Minimal hardware (well, StarExec!)

TPTP For Sale

• A young Energetic Collaborator
• A Stable new Home
• I'm Available to Work
• Funding (esp. for StarExec)

Can it be Community-based?

• It's been my Baby
• Quality controlled
• Community-based worries Me