机器人大赛经常用到，解数独的时候也用到，属于人工智能上的范畴，很不错。
2022-02-07 11:14:34
772KB
1
包含ASP非单调推理的各种求解器（注意，不是网页制作的ASP！）
clasp
claspD
clingo
iclingo
dlv
gringo
lparse
smodels
以及几个程序范例
2019-12-21 19:51:00
2.07MB
1
机器人大赛上经常用到，解数独的时候也用到，属于人工智能上的范畴。很不错，可以看一看。
2019-12-21 19:39:06
195KB
1