D-FLAT系统
一个用于快速开发ASP编码动态的自由软件框架基于树分解的编程算法。D-FLAT为在项目内开发“将答案集编程范式扩展到分解问题解决”.
D-扁平(D类动态编程F类带有的框架L（左）本地执行A类SP打开T型ree Decompositions）是一种允许指定动态编程的工具问题（超）图的树分解算法代表。本规范通过逻辑编程实现在答案集语义下。D-FLAT使用户无需处理所有与解析、树分解、处理数据结构等。相反，它只是动态的编程算法本身必须在ASP语言中指定。D-FLAT使用ASP解算器来计算动态规划算法。因此，它可以用作快速快速实现动态编程算法的原型工具树分解。
顶部
D-FLAT提供了一个带有选项的命令行界面，用于指定包含动态编程算法的文件，用于获取输入实例的树分解以及各种输出选项等的启发式方法。有关详细信息，用选项调用D-FLAT-小时，或查看文档.
运行简单3列文件中指定的算法3个ol.lp，将输入图形保存在文件中实例.lp和谓词指定的边边缘/2，相当于此通话：
dflat-p 3col.lp-e边缘<实例.lp
编码示例
顶部
我们提供不同版本的D-FLAT以及一组示例D-FLAT编码和输入实例供下载。
D-FLAT的当前开发版本可以在Github上的D-FLAT储存库.
在示例编码中，我们为论证框架提供了不同语义的实现（参见，例如。，论证项目). 论证问题的单片编码取自ASPARTIX项目.
- 新特性：懒惰求值现在支持内置计数器算法。
- 源代码（根据GPL发布），在GitHub上提供。
- 二进制文件：32位,64位.
- 文档（DBAI技术报告DBAI-TR-2017-107）。
- 编码集合.
示例实例
我们提供了一个真实的世界交通网络实例集合，一个下载器对于GTFS格式的实例，以及小树宽实例集合用于各种问题的初步实验。
顶部
参与D-FLAT开发的人员：
如果有问题、错误报告或评论，请发送电子邮件至
.
顶部
上次更新时间：2017-08-17 15:56
