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