约书亚·纽豪斯(Joshua Newhouse)和瓦西(Vamsi Somepalli) CS6301_AI 源文件列表 使用网络浏览器查看java-doc overview-summary.html页面。 开发环境 Linux 5.4.0-62-通用#70〜18.04.1-Ubuntu SMP x86_64 GNU / Linux Java 1.8 建立程序 为了方便起见,我们提供了预构建的jar,但是如果您想从头开始构建jar,请按照以下说明进行操作。 这是一个Maven项目,因此要从顶层目录构建它,请执行: $ mvn clean package 该程序将是位于目标目录中的Java jar存档,名为resolution-prover-1.0-SNAPSHOT.jar。 运行程序 为了方便起见,我们提供了一个称为证明的Bash脚本来包装罐子。 执行如下: ./prove <I