Software

• 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