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