Script to conver verilog files to aiger format by yosys - DillFennel/Verilog_to_Aiger_Converter ...