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