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