ASP非单调推理的各种求解器 以及程序范例

[{"title":"（ 14 个子文件 2.07MB ） ASP非单调推理的各种求解器 以及程序范例","children":[{"title":"gringo.exe <span style='color:#111;'> 1.87MB </span>","children":null,"spread":false},{"title":"queen.lp <span style='color:#111;'> 357B </span>","children":null,"spread":false},{"title":"clasp.exe <span style='color:#111;'> 555.00KB </span>","children":null,"spread":false},{"title":"tile.lp <span style='color:#111;'> 1023B </span>","children":null,"spread":false},{"title":"guide.pdf <span style='color:#111;'> 771.57KB </span>","children":null,"spread":false},{"title":"smodels.exe <span style='color:#111;'> 216.00KB </span>","children":null,"spread":false},{"title":"iclingo.exe <span style='color:#111;'> 2.46MB </span>","children":null,"spread":false},{"title":"dlv.exe <span style='color:#111;'> 1.06MB </span>","children":null,"spread":false},{"title":"sudoku.lp <span style='color:#111;'> 706B </span>","children":null,"spread":false},{"title":"claspD.exe <span style='color:#111;'> 256.00KB </span>","children":null,"spread":false},{"title":"reasoning.lp <span style='color:#111;'> 1.38KB </span>","children":null,"spread":false},{"title":"clingo.exe <span style='color:#111;'> 2.45MB </span>","children":null,"spread":false},{"title":"schur.lp <span style='color:#111;'> 702B </span>","children":null,"spread":false},{"title":"lparse.exe <span style='color:#111;'> 328.50KB </span>","children":null,"spread":false}],"spread":true}]