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.