Boolean Analysis

aria.bool.analysis provides analytical tools for Boolean and QBF formulas, including CNF structural metrics and QBF analysis utilities.

Directory structure

aria/bool/analysis/
├── cnf.py       # CNF structural analysis and metrics
├── metrics.py   # General Boolean formula metrics
└── qbf.py       # QBF-specific analysis

CNF Analysis

cnf.py computes structural metrics over CNF formulas, such as clause length distributions, variable occurrence counts, and related statistics used for understanding formula structure and hardness.

Metrics

metrics.py provides general-purpose metrics over Boolean formulas, complementing the feature extraction in aria.bool.features with lighter-weight structural measurements.

QBF Analysis

qbf.py offers analysis utilities specific to Quantified Boolean Formulas, such as quantifier depth evaluation, variable dependency analysis, and related structural checks.

Programmatic usage

from aria.bool.analysis.cnf import analyse_cnf

metrics = analyse_cnf(cnf_clauses)