Tag: answer set

An answer set solver for normal or extended logic programs..