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