UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Sup (answer set solver)
Released 2009
SUP
is a native answer set solver that can be seen as a combination of computational ideas behind two answer set solvers: Cmodels and Smodels.
Download:
TAR