Installing From Crates.io

tbd

Installing From Source

Linux users can build anthem directly from source, as follows.

    git clone https://github.com/potassco/anthem.git && cd anthem
    cargo build --release
    cp anthem/target/release/anthem ~/.local/bin

Note that you will also need a working installation of vampire. Installation instructions can be found here.

Installing with Docker

In our experience, building vampire on MacOS is tricky. Non-Linux users may prefer to install and run anthem with Docker. Make sure Docker is running then run the following commands.

    git clone https://github.com/potassco/anthem.git && cd anthem
    docker build -t anthem .
    docker run -it --name anthem-container anthem /bin/bash

Now you can run your anthem commands in the interactive Docker terminal. Try anthem --help to get started or ls anthem/res/examples to see available examples.