这是 dfg2otter 命令，可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行，例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序：
您的姓名
dfg2otter - 将 DFG 子句文件转换为 Otter 格式
概要
dfg2otter [选项]
商品描述
dfg2otter 是一个 C 程序，用于将问题输入文件转换为 DFG 语法成 水獭 语法。
它接受来自的所有选项 通行证，虽然只有一个子集对翻译有影响。
dfg2otter 否定的猜想公式 通行证 打印 Otter 之前的输入文件
可用列表。 这 通行证 猜想公式列表被翻译成
否定单一猜想。 如果 通行证 输入文件包含子句，这些不是
修改的。
使用 onworks.net 服务在线使用 dfg2otter
