同类资源

ASPSolver -CLASP

更新日期：10年前 浏览次数：1071

A conflict learning Answer Set Programming solver for normal logic programs.

A conflict learning Answer Set Programming solver for normal logic programs.