GitHub repository: Jitao-Hu/btor2mlir
Primary language: C++
Description: Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification