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