Cplus2ASP: Computing C+ using ASP solvers
F2LP: Computing Answer Sets for First-Order Formulas
ECASP: ASP Based Event Calculus Reasoning (subsumed by F2LP)
patoms: a post-processor for answer set solvers
student-qsystem: a program for querying the answer sets of a logic program
MVSM: Computing Multi-Valued Stable Models
(this is the answer set solving system used in CSE459/598 2013. See the handout for more details).
ASPMT2SMT: Computing ASPMT Using SMT Solvers