anthem 2.0.0

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

pub mod external_equivalence;
pub mod strong_equivalence;

use crate::{convenience::with_warnings::Result, verifying::problem::Problem};

pub trait Task {
    type Error;
    type Warning;
    fn decompose(self) -> Result<Vec<Problem>, Self::Warning, Self::Error>;
}