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}]