同类资源

ASPSolver -CLASP

更新日期：11年前 浏览次数：1218

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

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