aspcud:CUDF格式的包装问题的求解器

Aspcud-使用ASP解决CUDF格式的软件包问题的方法 aspcud 项目提供转换器/预处理器cudf2lp以将 CUDF 规范转换为一组事实。 然后，可以将这些事实与编码一起传递给ASP基础程序和求解器，以解决程序包问题。 小型C程序aspcud负责此工作，调用必要的工具并以CUDF格式打印结果。 要运行 aspcud，请使用已安装的 aspcud 二进制文件（查看示例文件夹以开始使用）： aspcud problem.cudf solution.cudf <criteria> 为此，必须安装扣环和gringo。 求解器和接地器可在以下位置获得： 查看以获取更多详细信息。 mancoosi 主页上提供了 CUDF 文档的规范和支持的标准以及许多实例： 可以使用编码misc2012.lp或specification.lp来解决封装问题（可以使用选项-e选择）。 第一种编码通