/// Encode regulations and template properties into FOL.
pub mod encode;
/// Evaluate all kinds static properties.
pub mod eval;
/// Prepare graph and symbolic context to handle all static properties.
pub mod prepare_graph;
/// Processed variants of static properties for evaluation.
pub mod processed_props;