The TPTP Execution Environment Framework provides a set of APIs that support interaction with and control of local and distributed "Agents". These Agents in turn provide data collection facilities for most of the TPTP projects.
The TPTP Execution Environment Framework provides a set of APIs that support interaction with and control of local and distributed "Agents". These Agents in turn provide data collection facilities for most of the TPTP projects.