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.