Hegde, A. S., Sandeep, R. B., & Shashank, P. (2024). Verifier for Erdős–Gyárfás conjecture on P_k-free graphs (Version 2.0) [Computer software]