anthem 2.0.0

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

use crate::syntax_tree::fol::sigma_0::Formula;

pub const HT: &[fn(Formula) -> Formula] = &[];