资源简介

包含ASP非单调推理的各种求解器(注意,不是网页制作的ASP!) clasp claspD clingo iclingo dlv gringo lparse smodels 以及几个程序范例

资源截图

代码片段和文件信息

评论

共有 条评论