文件名称：clingo::thinking_face: 逻辑程序的接地器和求解器
文件大小：2.49MB
文件格式：ZIP
更新时间：2024-08-24 02:13:10
C++
Clingo：逻辑程序的基础和求解器 Clingo 是答案集编程(ASP) 项目的一部分。 ASP 提供了一种简单而强大的建模语言来将组合问题描述为逻辑程序。 然后clingo系统采用这样的逻辑程序并计算表示给定问题的解决方案的答案集。 要获得一个想法，请查看我们的页面和 clingo 的。 请查阅以下资源以获取更多信息： Clingo 在下。