- NeurASP
- LPMLN v1.1
- 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