文件名称：fse18-artifact-183:阿尔卑斯山
文件大小：32.18MB
文件格式：ZIP
更新时间：2024-05-20 15:03:15
Python
fse18-artifacts-183 ALPS是用于从模板和语法约束交互式合成Datalog程序的工具。 设置 请参阅INSTALL中的说明，我们将在此处进行复制： 安装说明： （可选）构建并安装z3（ ），然后在Makefile中相应地更新z3标头和库路径（即Z3_H，Z3_LIB）。 这是可选的，因为我们已经在目录z3_env包含了一个预构建的z3。 通过键入设置环境变量. setenv . setenv 。 要编译ALPS，请运行make 。 如果预编译的z3无法正常工作，请按照步骤1构建并安装z3。 重新运行主要实验 编译阿尔卑斯山后，我们的实验应可通过（在我们项目的主目录中）运行： scripts/run.py alps data/ data/templates [desired directory for logs] 检查实验日志 我们的日志文件可能非常冗长