ASP非单调推理的各种求解器 以及程序范例 上传者：shixue97 2018-12-28 10:09:11上传 7Z文件 2.07MB 热度 73次 包含ASP非单调推理的各种求解器（注意，不是网页制作的ASP！） clasp claspD clingo iclingo dlv gringo lparse smodels 以及几个程序范例 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 码姐姐匿名网友 2018-12-28 10:09:11 不好很强大。不过需要一些基础知识。 码姐姐匿名网友 2018-12-28 10:09:11 很好，很有用。 发表评论
不好很强大。不过需要一些基础知识。
很好，很有用。