TPTP FAQ - Eclipsepedia

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.

Jump to: navigation, search

Revision as of 15:30, 10 October 2008 by Ewchan.ca.ibm.com (Talk | contribs) (→‎Known problem and workaround)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Contents

1 TPTP FAQ

TPTP FAQ

This page lists all commonly asked questions regarding the usage of TPTP. If you would like suggest a question here, please email Eugene Chan

IAC vs Standalone AC?

I do not see any agent in the Agent tab list.

I do not see profiling function in my workbench.

Known problem and workaround

←TPTP wiki page

Retrieved from "https://wiki.eclipse.org/index.php?title=TPTP_FAQ&oldid=122965"