我们搬家了！

我们的新门户位于potaskosco.org网站.

入门

答案集编程（ASP）提供了一种简单而强大的建模语言来解决组合问题。使用我们的工具，您可以集中精力解决实际问题，而不是以一种聪明的方式实现它。开始吧！

为了获得快速的第一印象，您可能需要尝试跑步攀爬在浏览器中。

文档

我们的软件的全面文档可以在Potassco指南.

系统

扣环

扣环是（扩展的）正常逻辑程序和析取逻辑程序的答案集求解器。它结合了ASP的高级建模能力和最先进的技术布尔约束求解领域的技术。主要扣环算法依赖于冲突驱动的nogood学习，一种被证明非常有效的技术满足性检查（SAT）成功。与其他学习ASP解算器不同，扣环不依赖传统软件，诸如SAT求解器或任何其他现有的ASP求解器。相反，扣环已真正开发用于基于冲突驱动的nogood学习的答案集求解。扣环可以作为ASP解算器应用（于SMODELS格式，作为输出格林戈),作为SAT求解器（在简化版本的DIMACS/CNF格式),或作为PB解决方案（于OPB格式).

下载 资源 第条 引用

扣环也可在中使用Debian公司,Ubuntu公司,Arch Linux（AUR）、和适用于中的Mac OS X自制软件和麦克波特.

格林戈

当前的答案集求解器使用无变量程序。因此如果给定一个一阶输入程序，则需要接地器变量，计算等效地（无变量）程序。格林戈真是个地滚球。它的输出可以用进一步处理扣环,钩子，或对开扣.

注意！Gringo 3和4的语言不完全兼容，因为Gringo 4坚持最近的ASP语言标准.为了处理遗留编码，我们建议下载除Gringo 4之外的最新版本的Gringo 3。

下载 第条 引用

外国佬也可在中使用Debian公司,Ubuntu公司,Arch Linux（AUR），以及中的Mac OS X自制软件和麦克波特.

开发：最新的gringo源代码可在github.com/potasso/leclipo.每个主要版本都有分支。

克林戈

Clingo将gringo和clamp组合成一个整体系统。这样吧比外国佬和扣可以单独提供-例如，增量接地和解决。Clingo自带卡环D-2，因此现在支持平行和选言解题。

注意！古灵阁3和4的语言并不完全兼容，因为古灵阁4坚持最近的语言ASP语言标准.为了处理遗留编码，我们建议下载除Gringo 4之外的最新版本的Gringo 3。

下载 下载（旧版本2.x） 脚本API引用 第条 引用

粘着物也可在中使用Debian公司,Ubuntu公司,Arch Linux（AUR），以及中的Mac OS X自制软件和麦克波特作为外国佬的一部分。

开发：最新的clipeo源代码位于github.com/potasso/leclipo.每个主要版本都有分支。

已抽吸

Aspcud是包依赖性的求解器。包宇宙和请求要安装、删除或升级软件包，必须以CUDF格式编码。这样的CUDF文档可以与优化一起传递给aspcud获取给定程序包问题的解决方案的标准。

Aspcud可以作为debian中apt-get的后端求解器。更多信息可以在有关的博客条目中找到使用使用apt-get的外部解算器。但如果你想快速开始：

• apt-get安装apt-cudf
• apt-get-s--solver aspcud安装图腾

挖空的也可在中使用Debian公司和Ubuntu公司.

下载 下载（旧版本） Mancoosi主页 引用

Clingcon公司

Clingcon公司是约束逻辑程序的答案集求解器，建立在答案集求解器克林戈和CSP解算器Gecode公司.它扩展了ASP高级建模语言的约束求解能力。在逻辑程序中可以使用对有限域整数变量的约束。Clingcon公司采用SMT领域的最先进技术，如冲突驱动学习和理论传播。

下载 资源 第条 引用

对开扣

对开扣是利用机器学习技术的ASP组合求解器为了执行算法选择，在不同的配置中选择扣环.

下载 资源 第条 引用

煤

Coala是一个从动作语言到答案集程序的通用编译器。它支持不同的编码、变量和LTL风格的查询。

下载 资源 第条 引用

实验室

这个实验室该套件包括与答案集编程相关的程序。这些是处于早期或未完成开发阶段的小型公用事业或项目。

墓地

这个墓地作为属于Potassco套件的被取代程序的存档。