Citation

If you use this software, please cite:

Carey, O. (2025). A verification harness for Loop-Dominance NC1/SC1 on a single machine. Version 1.0.0. DOI: 10.5281/zenodo.17073880.

See CITATION.cff for structured metadata.