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