anthem-counterexample

A tool to automatically find counterexamples to external equivalence problems.

Installation

To install the project, run

pip install .

Usage

Run the following for basic usage information:

anthem_counterexample -h

To generate and open the documentation, run

mkdocs serve -o

Make sure to install the optional documentation dependencies via

pip install .[doc]

Instructions to install and use nox can be found in DEVELOPMENT.md