{"name":"py313-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":["py313-setuptools_scm","py313-installer","py313-setuptools","py313-wheel","clang-18","py313-build"]},{"type":"lib","ports":["py313-multipledispatch","py313-toolz","python313"]}],"depends_on":[{"type":"lib","ports":["py313-pytensor","py313-cons","py-logical-unification","py313-minikanren"]}]}