anthem 2.0.0

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

fn main() -> anyhow::Result<()> {
    anthem::main()
}