anthem-2.0.0-rc.1
Platform
Feature flags

docs.rs

Rust

anthem 2.0.0-rc.1

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

Crate
Source
Builds
Feature flags

..
analyzing
breaking
command_line
convenience
formatting
parsing
simplifying
syntax_tree
translating
verifying
lib.rs
main.rs

1
2
3

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