Tag: SAT solver

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