Zhengyang John Lu, Po-Chun Chien, Nian-Ze Lee, Vijay Ganesh: Btor2-SelectMC (HWMCC 2024 Submission). Zenodo 2024