Anthem-P2P lets you automatically check that two ASP programs have the same external behavior. In other words, their output predicates are identical under the assumptions in the user guide. Programs may be written in a subset of the gringo input language, with optional lemmas directing the proof search. See the documentation for implementation details, or read the manuscript for theoretical foundations.
(1 minute one-way default, 5 minutes one-way max)