{"library":"minikanren","install":[{"cmd":"pip install minikanren","imports":["from kanren import run, eq, membero, var, lall"]}]}