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