这是 tptp2dfg 命令，可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行，例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序：
您的姓名
tptp2dfg - 将 DFG 文件转换为 TPTP 文件
概要
tptp2dfg [-包括]
商品描述
tptp2dfg 是一个将问题输入文件转换为 TPTP 格式化成问题
输入文件在 DFG 格式。 这 TPTP 问题格式由test的TPTP库使用
自动定理证明的问题，可在 http://www.math.miami.edu/~tptp/.
配置
tptp2dfg 支持以下命令行选项。
-包括
此选项允许扩展 tptp 文件中的包含指令。 如果全部设置
hte 输入文件中的 TPTP 包含指令被相应的文件内容替换
在翻译过程中。 如果没有设置 TPTP 包含指令被翻译成 DFG
包括指令。 默认关闭。
使用 onworks.net 服务在线使用 tptp2dfg
