{"library":"yosys-abc","install":[{"cmd":"apt install yosys-abc","imports":[]}]}