Zhengyang John Lu, Po-Chun Chien, Nian-Ze Lee, Arie Gurfinkel, Vijay Ganesh: Reproduction Package for CAV 2025 Submission 'Btor2-Select: Machine Learning Based Algorithm Selection for Hardware Model Checking'. Zenodo 2025