{"library":"clingo","install":[{"cmd":"pip install clingo","imports":["from clingo import Control","from clingo import Function"]}]}