GitHub repository: sanchezocegueda/btor2-opt
Primary language: Python
Description: Very basic btor2 parser, circuit miter, and code optimizer