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