{"name":"py311-logical-unification","portdir":"python/py-logical-unification","version":"0.4.7","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":true,"categories":["python"],"maintainers":[{"name":"reneeotten","github":"reneeotten","ports_count":2106}],"variants":[],"dependencies":[{"type":"build","ports":["clang-18","py311-setuptools","py311-wheel","py311-setuptools_scm","py311-build","py311-installer"]},{"type":"lib","ports":["py311-toolz","py311-multipledispatch","python311"]}],"depends_on":[{"type":"lib","ports":["py311-pytensor","py311-aesara","py311-cons","py311-minikanren"]}]}