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