合成分离逻辑 从分离逻辑规范中合成堆操作程序 工具背后的理论 可以在找到“合成分离逻辑”的详细信息。 用法 尝试示例的最简单方法是通过。 否则，请查看下面的建筑说明。 设置和构建 要求 ， sbt （版本> = 1.1.6） （版本> = 2.12.6）-运行独立工件 建设和测试项目 要编译并运行整个测试套件（并查看一些很酷的综合结果），请从项目的根文件夹执行： sbt test 编译可执行文件 只需从命令行运行以下命令： sbt assembly 结果，将生成可执行的