同类资源

ASPSolver -CLASP

更新日期：12年前 浏览次数：1741

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

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