Tobias Stolzmann

ANTHEM 2.0: Automated Reasoning for Answer Set Programming

2025 · Theory and Practice of Logic Programming

Abstract ANTHEM 2.0 is a tool to aid in the verification of logic programs written in an expressive fragment of CLINGO ’s input language named MINI-GRINGO, which includes arithmetic operations and simple choice rules but …