Zsófia Ádám, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee, Nils Sirrenberg: Reproduction Package for TACAS 2024 Article 'Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers'. Zenodo 2024