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