| build_DAG | Build and analyze a directed acyclic graph |
| cached_routing_check | Inspect or build a cached routing-check artifact |
| calculate_hits | Calculate HITS scores |
| correction_control | Configure SSPICE data correction |
| correction_quality_report | Build a quality report for an SSPICE correction run |
| correct_data | Correct questionnaire records using MCMC simulated annealing |
| count_admissible_patterns | Count the admissible data patterns induced by a routing DAG |
| find_isolated_nodes | Find isolated graph nodes |
| find_longest_path | Find a longest path in a DAG |
| prepare_data | Prepare record-level data for SSPICE validation |
| print.sspice_dag | Print an SSPICE DAG |
| print.sspice_prepared_data | Print prepared SSPICE data |
| routing_check | Check record conformity with an SSPICE routing structure |
| validate_extended_elog | Validate an extended canonical representation with ELOG variables |
| validate_horn_theory | Validate the Horn theory induced by a routing DAG |