anthem 2.0.0-rc.1

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

pub mod completion;
pub mod gamma;
pub mod mu;
pub mod natural;
pub mod tau_star;