{"library":"z3","install":[{"cmd":"brew install z3","imports":[]},{"cmd":"apt install z3","imports":[]}]}