我希望编写一个Java程序，它可以从程序EVA2H1（http://www.lsv.ens-cachan.fr/Software/evatrans2/）的结果中提取信息，并将其输入到定理证明器中，如SPASS。
我发现可以打开其他程序并从文件中读取的类但不一定适用于其他程序。即使对其进行硬编码以使用特定程序也没问题。我正在考虑使用InputStream，但不确定如何集成它。
任何人都可以抛出任何指针吗？
我原本试图通过用同一种语言OCaml编写所有内容来使一切工作成为一个程序，但发现这很复杂，因为我不习惯这样，所以我现在尝试不同的方法。
答案 0 :(得分：0)
如果您要编写此代码以在shell中运行，则可以将EVA2H1的输出传递给stdout，然后使用Java从stdin读取它。
您还可以使用Process和Runtime类在Java中启动外部进程。这样，您就可以为流程提供参数，并读取它的输出。