Ho Thanh, C. (2025). Pauli Coloring Benchmark (Version 1.0.0) [Computer software]. https://github.com/altaris/pauli-coloring-benchmark