anthem 2.0.0

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

1
2
3

pub mod private_recursion;
pub mod regularity;
pub mod tightness;