anthem Stable

Anthem is a tool for automated verification of ASP programs. For a broad class of clingo and ASP-Core-2 programs, anthem can translate a program into a set of formulas written in the syntax of first-order logic. Given a specification (written in first-order logic or as another ASP program), anthem can automatically check certain types of equivalence hold between a program of interest and the specification by invoking the automated theorem prover vampire.

Documentation

• Manual
• API documentation

Resources

• Source code on GitHub

Publications

• Fandinno, J., Hansen, Z., Lierler, Y., Glinzer, C., Heuer, J., Schaub, T., Stolzmann, T., & Lifschitz, V. ANTHEM 2.0: Automated Reasoning for Answer Set Programming, TPLP, 2025