anthem 2.0.0-rc.2

A command-line application for assisting in the verification of answer set programs
Documentation