/// Evaluation of dynamic properties (by either HCTL model checker or special procedures).
pub mod eval_dynamic;
/// Evaluation of static properties (by either FO logic evaluator or special procedures).
pub mod eval_static;
/// Parsing and evaluation of first-order formulas.
pub mod fo_logic;
/// Useful utilities for manipulating symbolic contexts and other things.
pub mod utils;