anthem-cx 0.1.0

A tool to automatically find counterexamples to external equivalence problems.

anthem-cx

Given two Answer Set Programming (ASP) programs and a user guide declaring their input and output predicates, anthem-cx searches for an input on which the two programs behave differently and reports it as a counterexample.

Installation

anthem-cx is available on PyPI. Install it with

pip install anthem-cx

Alternatively, install it from source by cloning the repository and running

pip install .

Usage

To check for counterexamples for the equivalence of two programs left.lp and right.lp run

anthem-cx left.lp right.lp guide.ug

where guide.ug is the user guide declaring the input and output predicates.

To get a full list of available options run

anthem-cx -h

Examples

The examples directory contains a number of worked examples. Each example folder lists the commands to run it; see the examples documentation for a detailed explanation of each one.

Documentation

Full documentation — including the supported input language, the available options, and how the counterexample search works — is available at docs.potassco.org/anthem-cx.