{"name":"py37-logical-unification","portdir":"python/py-logical-unification","version":"0.4.6","license":"BSD","platforms":"{darwin any}","epoch":0,"replaced_by":null,"homepage":"https//github.com/pythological/unification/","description":"Logical unification in Python","long_description":"Logical unification in Python","active":false,"categories":["python"],"maintainers":[{"name":"reneeotten","github":"reneeotten","ports_count":2106}],"variants":[],"dependencies":[{"type":"build","ports":["py37-setuptools","clang-15"]},{"type":"lib","ports":["python37","py37-multipledispatch","py37-toolz"]}],"depends_on":[{"type":"lib","ports":["py37-cons","py37-aesara","py37-minikanren"]}]}